Decision procedure for a fragment of quantified branching temporal logic

Decision procedure for a fragment of quantified branching temporal logic

There is not abstract.

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

Similar Items

Decision procedure for a fragment of dynamic logic
by: Aida Pliuškevičienė
Published: (2001-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)

Decision procedures for quantified fragments of reflexive common knowledge logic
by: Regimantas Pliuškevičius
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 procedure for first-order linear temporal logic with semi-periodic kemels
by: Regimantas Pliuškevičius
Published: (2002-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)

Logic and Branching Automata
by: Bedon Nicolas
Published: (2015-10-01)

Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
by: Preugschat Sebastian, et al.
Published: (2013-06-01)

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)

Generalized Quantifiers in Logic Programs
by: Eiter, T, et al.
Published: (1997)

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)

Branching and fragmenting particle systems in biology
by: Tsui, THL
Published: (2023)

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
by: Laura Bozzelli, et al.
Published: (2017-09-01)

Frege systems for quantified Boolean logic
by: Beyersdorff, O, et al.
Published: (2020)

The Quantified Argument Calculus and Natural Logic
by: Hanoch Ben-Yami
Published: (2022-11-01)

Modular Logic Programming and Generalized Quantifiers
by: Eiter, T, et al.
Published: (1997)

Satisfiability Games for Branching-Time Logics
by: Oliver Friedmann, et al.
Published: (2013-10-01)

Logic, planning agency and branching time
by: Ricardo Souza Silvestre
Published: (2010-09-01)

Logic, planning agency and branching time
by: Ricardo Souza Silvestre
Published: (2010-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)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: 404540 Keisler, H. Jerome
Published: (1971)

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)

Temporal Logic for Programmable Logic Controllers
by: Natalia Olegovna Garanina, et al.
Published: (2020-12-01)

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

Continuous Markovian Logics - Axiomatization and Quantified Metatheory
by: Radu Mardare, et al.
Published: (2012-11-01)

Recursion Schemes, the MSO Logic, and the U quantifier
by: Paweł Parys
Published: (2020-02-01)

On Quantified Propositional Logics and the Exponential Time Hierarchy
by: Miika Hannula, et al.
Published: (2016-09-01)

Quantifying Uncertainties on the Tip of the Red Giant Branch Method
by: Barry F. Madore, et al.
Published: (2023-01-01)