scientific article; zbMATH DE number 67448
From MaRDI portal
Publication:4012170
zbMATH Open0745.68091MaRDI QIDQ4012170FDOQ4012170
Author name not available (Why is that?)
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3974944
- Resolution for temporal logics of knowledge
- Search strategies for resolution in temporal logics
- Resolution-based calculi for modal and temporal logics
- A resolution-based proof method for temporal logics of knowledge and belief
- A resolution calculus for the branching-time temporal logic CTL
- scientific article; zbMATH DE number 1950255
- A clausal resolution method for CTL branching-time temporal logic
- scientific article; zbMATH DE number 4197947
- A derivation-loop method for temporal logic
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Cited In (43)
- Temporal equilibrium logic: a survey
- Removing irrelevant information in temporal resolution proofs
- Title not available (Why is that?)
- Extracting unsatisfiable cores for LTL via temporal resolution
- Stable Models for Temporal Theories
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Title not available (Why is that?)
- A survey on temporal logics for specifying and verifying real-time systems
- An explicit transition system construction approach to LTL satisfiability checking
- Title not available (Why is that?)
- A resolution-based proof method for temporal logics of knowledge and belief
- A clausal resolution method for branching-time logic \(\text{ECTL}^+\)
- Simplifying inductive schemes in temporal logic
- Modeling data-intensive reactive systems with relational transition systems
- Temporal representation and reasoning in artificial intelligence: A review
- A transformation-based synthesis of temporal specification
- SAT meets tableaux for linear temporal logic satisfiability
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Temporal reasoning over linear discrete time
- Title not available (Why is that?)
- Variable and clause elimination for LTL satisfiability checking
- A clausal resolution method for CTL branching-time temporal logic
- Automated theorem proving in temporal logic: \(T\)-resolution
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The token reification approach to temporal reasoning
- A clausal resolution method for extended computation tree logic ECTL
- Invariant-free clausal temporal resolution
- Search strategies for resolution in temporal logics
- The saturated tableaux for linear miniscope Horn-like temporal logic
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
- Two party immediate response disputes: Properties and efficiency
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- Theorem proving using clausal resolution: from past to present
- Dual systems of tableaux and sequents for PLTL
- A compact linear translation for bounded model checking
- Computational complexity of hybrid interval temporal logics
- Resolution for temporal logics of knowledge
- Hybrid fragments of Halpern-Shoham logic and their expressive power
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012170)
