Monodic Packed Fragment with Equality is Decidable

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Studia Logica: An International Journal for Symbolic Logic

• Publication date

  2002-11-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1023/A:1021356410579
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Finite conformal hypergraph covers and Gaifman cliques in finite structures

  2003cited by this paper
• Equality and Monodic First-Order Temporal Logic

  2002cited by this paper
• Axiomatizing the monodic fragment of first-order temporal logic

  2002cited by this paper
• Loosely Guarded Fragment of First-Order Logic has the Finite Model Property

  2002cited by this paper
• Tolerance Logic

  2001cited by this paper
• Decidable fragment of first-order temporal logics

  2000cited by this paper
• Invited Talk: Decision procedures for guarded logics

  1999cited by this paper
• On a Decision Method in Restricted Second Order Arithmetic

  1990cited by this paper
• Decidability of second-order theories and automata on infinite trees

  1968cited by this paper
• On a decision method in restricted second-order arithmetic

  1960cited by this paper

• Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula

  2022cites this paper
• A New Modal Framework for Epistemic Logic

  2017cites this paper
• Multiple-Source Approximation Systems, Evolving Information Systems and Corresponding Logics: A Study in Rough Set Theory

  2016cites this paper
• Beyond knowing that: a new generation of epistemic logics

  2016cites this paper
• Transactions on Rough Sets XX

  2016cites this paper
• Logics for some dynamic spaces-I

  2015cites this paper
• Reasoning in many dimensions: uncertainty and products of modal logics

  2014cites this paper
• Time in Database Systems

  2014influential citation
• Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting

  2014cites this paper
• Monodic Fragments of Probabilistic First-Order Logic

  2014cites this paper
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

  2012cites this paper
• Temporal Specifications for Services with Unboundedly Many Passive Clients

  2011cites this paper
• An Introduction to Practical Formal Methods Using Temporal Logic

  2011cites this paper
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

  2009cites this paper
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems

  2009cites this paper
• Practical First-Order Temporal Reasoning

  2008cites this paper
• Decidable Cases of First-order Temporal Logic with Functions

  2008cites this paper
• Chapter 12 Temporal Representation and Reasoning

  2008cites this paper
• Temporal logic

  2007cites this paper
• Efficient First-Order Temporal Logic for Infinite-State Systems

  2007cites this paper
• Complexity of monodic guarded fragments over linear and real time

  2006cites this paper
• Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence (Elsevier))

  2005cites this paper
• Algorithmische Eigenschaften von Branching-Time Logiken

  2005cites this paper
• Time in Qualitative Simulation

  2005cites this paper
• Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper)

  2005cites this paper
• First-Order Temporal Verification in Practice

  2005cites this paper
• Deciding Monodic Fragments by Temporal Resolution

  2005cites this paper
• Mechanising first-order temporal resolution

  2005cites this paper
• Abstract State Machines 2004. Advances in Theory and Practice

  2004cites this paper
• Temporalising Tableaux

  2004cites this paper
• Abstract state machines: verification problems and computational power

  2004influential citation
• On Non-local Propositional and Weak Monodic Quantified CTL

  2004cites this paper
• Monodic ASMs and Temporal Verification

  2004cites this paper
• Handling Equality in Monodic Temporal Resolution

  2003cites this paper
• Fixpoint Extensions of Temporal Description Logics

  2003cites this paper
• Exploring the Monodic Fragment of First-Order Temporal Logic using Clausal Temporal Resolution

  2003cites this paper
• Monodic temporal resolution

  2003cites this paper
• Deciding the Verification Problem for Abstract State Machines

  2003influential citation
• Monodic fragments of first-order temporal logics: 2000-2001 A.D

  2001cites this paper
• Handbook of Knowledge Representation Edited Temporal Representation and Reasoning

  year unknowncites this paper
• 2 . 1 WP 1 : Tableau algorithms for monodic FOTL

  year unknowncites this paper
• First-Order Temporal Verification in Practice (cid:1)

  year unknowninfluential citation
• Final report : ‘ Analysis and Mechanisation of Decidable First-Order Temporal Logics ’

  year unknowncites this paper