Decidable fragments of first-order temporal logics
From MaRDI portal
Recommendations
- Monodic packed fragment with equality is decidable
- Monodic fragments of first-order temporal logics: 2000--2001 A.D.
- Decidability and incompleteness results for first-order temporal logics of linear time
- Axiomatizing the monodic fragment of first-order temporal logic
- One-variable first-order linear temporal logics with counting
Cites work
- scientific article; zbMATH DE number 3982506 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 3767656 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 1028834 (Why is no real title available?)
- scientific article; zbMATH DE number 1536573 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- scientific article; zbMATH DE number 965572 (Why is no real title available?)
- A multi-dimensional terminological knowledge representation language
- A survey of temporal extensions of description logics
- Axiomatising first-order temporal logic: Until and since over linear time
- Concerning the semantic consequence relation in first-order temporal logic
- Decidability and incompleteness results for first-order temporal logics of linear time
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Decidable fragments of first-order modal logics
- Elementary properties of ordered abelian groups
- Expanded theory of ordered Abelian groups
- Incompleteness of first-order temporal logic with until
- Modal languages and bounded fragments of predicate logic
- On languages with two variables
- On the Restraining Power of Guards
- On the elementary theory of linear order
- On the feasibility of checking temporal integrity constraints
- Products of modal logics, part 1
- Temporal aspects of logical procedure definition
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects
- Temporalizing description logics
- The decision problem for linear temporal logic
- To the memory of Arthur Prior Formal properties of ‘now’
Cited in
(61)- Foundations of Temporal Conceptual Data Models
- On finite domains in first-order linear temporal logic
- Temporal Verification of Fault-Tolerant Protocols
- The serializability problem for a temporal logic of transaction queries
- Temporal logics of knowledge and their applications in security
- On temporal logics with data variable quantifications: decidability and complexity
- A survey on temporal logics for specifying and verifying real-time systems
- A conceptual framework for secrecy-preserving reasoning in knowledge bases
- Sound verification procedures for temporal properties of infinite-state systems
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- scientific article; zbMATH DE number 6863862 (Why is no real title available?)
- Decidable cases of first-order temporal logic with functions
- An event-based fragment of first-order logic over intervals
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Quantification over sets of possible worlds in branching-time semantics
- Decidability and incompleteness results for first-order temporal logics of linear time
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
- Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
- A construction of cylindric and polyadic algebras from atomic relation algebras
- Serializable histories in quantified propositional temporal logic
- Beyond knowing that: a new generation of epistemic logics
- Deductive verification of simple foraging robotic behaviours
- Axiomatizing the monodic fragment of first-order temporal logic
- One-variable first-order linear temporal logics with counting
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- Deciding safety and liveness in TPTL
- A decidable temporal relevant logic for time-dependent relevant human reasoning
- First-order expressivity for S5-models: Modal vs. two-sorted languages
- Constraint LTL satisfiability checking without automata
- Monodic fragments of first-order temporal logics: 2000--2001 A.D.
- Monodic temporal logic with quantified propositional variables
- Definability and decidability of binary predicates for time granularity
- Mechanising first-order temporal resolution
- On the freeze quantifier in Constraint LTL: Decidability and complexity
- First-order temporal verification in practice
- Incompleteness of first-order temporal logic with until
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Decidable temporal and sequential relevant logics*
- Monodic packed fragment with equality is decidable
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Fair Derivations in Monodic Temporal Reasoning
- On the axiomatizability of some first-order spatio-temporal theories
- Checking content consistency of integrated web documents
- A decidable and expressive fragment of many-sorted first-order linear temporal logic
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Complexity of monodic guarded fragments over linear and real time
- Decidability of infinite-state timed CCP processes and first-order LTL
- Temporal BI: proof system, semantics and translations
- Evolving objects in temporal information systems
- Investigation on fragments of first order branching temporal logic
- Parameterized verification of leader/follower systems via first-order temporal logic
- A bounded domain property for an expressive fragment of first-order linear temporal logic
- Theorem proving using clausal resolution: from past to present
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
- Are bundles good deals for first-order modal logic?
- Prenex universal first-order safety properties
- First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
This page was built for publication: Decidable fragments of first-order temporal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1591203)
