Temporalising Tableaux

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Studia Logica: An International Journal for Symbolic Logic

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1023/B:STUD.0000027468.28935.6d
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Many-Dimensional Modal Logics: Theory and Applications

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

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

  2002cited by this paper
• Monodic Packed Fragment with Equality is Decidable

  2002cited by this paper
• A Tableau Decision Algorithm for Modalized ALC with Constant Domains

  2002cited by this paper
• Exploring Artificial Intelligence in the New Millenium

  2002cited by this paper
• Towards First-Order Temporal Resolution

  2001cited by this paper
• Qualitative spatio-temporal representation andreasoning : a computational perspectiveFrank

  2001cited by this paper
• Tableaux for Temporal Description Logic with Constant Domains

  2001cited by this paper
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case

  2000cited by this paper
• Fragments of first-order temporal logics

  2000cited by this paper
• Multi-Dimensional Description Logics

  1999cited by this paper
• A New Introduction to Modal Logic

  1998cited by this paper
• Satis ability problem in description logics with modal operators

  1998cited by this paper
• Temporalizing Description Logics

  1998cited by this paper
• Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1

  1995cited by this paper
• Temporal Logic Mathematical Foundations and Computational Aspects

  1994cited by this paper
• Combining Terminological Logics with Tense Logic

  1993cited by this paper
• Using the Universal Modality: Gains and Questions

  1992cited by this paper
• The tableau method for temporal logic: an overview

  1985cited by this paper
• Proof Methods for Modal and Intuitionistic Logics

  1983cited by this paper
• Ein erweiterter Klassenkalkül

  1933cited by this paper

• Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract)

  2023cites this paper
• Decidable Fragments of LTLf Modulo Theories (Extended Version)

  2023cites this paper
• First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications

  2022influential citation
• Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)

  2022cites this paper
• BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker

  2021cites this paper
• Logic and Its Applications

  2013influential citation
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics

  2012cites this paper
• Invariant-Free Clausal Temporal Resolution

  2011cites this paper
• Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

  2011cites this paper
• Redundancy Elimination in Monodic Temporal Reasoning

  2009cites this paper
• Fibring Logics ∗

  2009cites this paper
• Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

  2007cites this paper
• Non-primitive recursive decidability of products of modal logics with expanding domains

  2006cites this paper
• Mechanising first-order temporal resolution

  2005cites this paper
• Temporal Logics over Transitive States

  2005cites this paper
• Deciding Monodic Fragments by Temporal Resolution

  2005cites this paper
• TeMP: A Temporal Monodic Prover

  2004cites this paper
• Handling Equality in Monodic Temporal Resolution

  2003cites this paper
• Towards the implementation of first-order temporal resolution: the expanding domain case

  2003cites this paper
• Monodic temporal resolution

  2003cites this paper
• Automated Reasoning with Analytic Tableaux and Related Methods

  2003influential citation
• On the Computational Complexity of Spatio-Temporal Logics

  2003cites this paper
• A General Tableau Method for Propositional Interval Temporal Logics

  2003cites this paper
• Final report : ‘ Analysis and Mechanisation of Decidable First-Order Temporal Logics ’

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

  year unknowncites this paper