Decision procedure for a fragment of dynamic logic

Decision procedure for a fragment of dynamic logic

There is not abstract.

Bibliographic Details
Main Author:	Aida Pliuškevičienė
Format:	Article
Language:	English
Published:	Vilnius University Press 2001-12-01
Series:	Lietuvos Matematikos Rinkinys
Online Access:	https://www.zurnalai.vu.lt/LMR/article/view/34623

Similar Items

Decision procedure for a fragment of quantified branching temporal logic
by: Aida Pliuškevičienė
Published: (2002-12-01)

Decision procedure for an extended miniscoped fragment of FTL with equality
by: Aida Pliuškevičienė
Published: (2003-12-01)

Decision procedure for a combination of logics KD4 and PDL
by: Aida Pliuškevičienė
Published: (2004-12-01)

Specialization of derivations in modal logic S5
by: Aida Pliuškevičienė
Published: (2023-09-01)

Elimination of loop-check for logic of idealized knowledge
by: Aida Pliuškevičienė
Published: (2009-12-01)

Loop-check elimination for non-transitive distributed knowledge logic
by: Aida Pliuškevičienė
Published: (2008-12-01)

Decision procedures for quantified fragments of reflexive common knowledge logic
by: Regimantas Pliuškevičius
Published: (2004-12-01)

Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
by: Kazakov, Y, et al.
Published: (2015)

Saturation−Based Decision Procedures for Extensions of the Guarded Fragment
by: Kazakov, Y
Published: (2006)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
by: Kazakov, Y
Published: (2004)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
by: Kazakov, Y, et al.
Published: (2004)

Fragmentation and logical omniscience
by: Elga, Adam, et al.
Published: (2022)

Relation-Changing Logics as Fragments of Hybrid Logics
by: Carlos Areces, et al.
Published: (2016-09-01)

A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements
by: Camilo Rocha, et al.
Published: (2007-12-01)

Loop-free verification of termination of derivation for a fragment of dynamic logic
by: Regimantas Pliuškevičius
Published: (2008-12-01)

Positive fragments of coalgebraic logics
by: Adriana Balan, et al.
Published: (2015-09-01)

Tableau-based decision procedure for non-Fregean logic of sentential identity
by: Golińska-Pilarek, J, et al.
Published: (2021)

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
by: Tiu, A, et al.
Published: (2012)

Decision procedure for first-order linear temporal logic with semi-periodic kemels
by: Regimantas Pliuškevičius
Published: (2002-12-01)

On Sub-Propositional Fragments of Modal Logic
by: Davide Bresolin, et al.
Published: (2018-06-01)

The Logic of Procedural Readings
by: Seres, S, et al.
Published: (1999)

Tractable reasoning in a fragment of separation logic
by: Cook, B, et al.
Published: (2011)

Tractable Reasoning in a Fragment of Separation Logic.
by: Cook, B, et al.
Published: (2011)

Finite sequent calculi for PLTL
by: Romas Alonderis, et al.
Published: (2015-12-01)

Covering and separation for logical fragments with modular predicates
by: Thomas Place, et al.
Published: (2019-05-01)

Lindstrom theorems for fragments of first-order logic
by: Johan van Benthem, et al.
Published: (2009-08-01)

On Strictly Positive Fragments of Modal Logics with Confluence
by: Stanislav Kikot, et al.
Published: (2022-10-01)

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
by: Matthias Hoelzel, et al.
Published: (2021-07-01)

A Fragment of Dependence Logic Capturing Polynomial Time
by: Johannes Ebbing, et al.
Published: (2014-08-01)

Hybrid fragments of Halpern–Shoham logic and their expressive power
by: Wałęga, P
Published: (2019)

On the Expressive Power of Sub-Propositional Fragments of Modal Logic
by: Davide Bresolin, et al.
Published: (2016-09-01)

Omitting Types in Fragments and Extensions of First Order Logic
by: Tarek Sayed Ahmed
Published: (2021-09-01)

On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic
by: Eiter, T, et al.
Published: (1998)

Defeasibility in Judicial Opinion: Logical or Procedural?
by: David Godden, et al.
Published: (2008-02-01)

DEVELOPMENT OF AN ALGORITHMIC PROCEDURE FOR THE DETECTION OF CONJUGATE FRAGMENTS
by: D. Filippas, et al.
Published: (2013-07-01)

A procedure for virtual fragmentation of molecules into functional groups
by: Laszlo Tarko
Published: (2004-09-01)

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics
by: Marcelo E. Coniglio, et al.
Published: (2013-03-01)

Finite Model Reasoning in Expressive Fragments of First-Order Logic
by: Lidia Tendera
Published: (2017-03-01)

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals
by: Montanari, A, et al.
Published: (2010)

Capturing relational NEXPTIME with a fragment of existential third order logic
by: José María Turull Torres
Published: (2015-11-01)