scientific article; zbMATH DE number 67448
From MaRDI portal
Publication:4012170
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
Cited in
(45)- Dual systems of tableaux and sequents for PLTL
- Automated theorem proving in temporal logic: T-resolution
- The saturated tableaux for linear miniscope Horn-like temporal logic
- An explicit transition system construction approach to LTL satisfiability checking
- Modeling data-intensive reactive systems with relational transition systems
- A transformation-based synthesis of temporal specification
- Computational complexity of hybrid interval temporal logics
- The token reification approach to temporal reasoning
- Hybrid fragments of Halpern-Shoham logic and their expressive power
- A survey on temporal logics for specifying and verifying real-time systems
- A clausal resolution method for extended computation tree logic ECTL
- Extracting unsatisfiable cores for LTL via temporal resolution
- Theorem proving using clausal resolution: from past to present
- A compact linear translation for bounded model checking
- Sub-propositional fragments of the interval temporal logic of Allen's relations
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- scientific article; zbMATH DE number 3871318 (Why is no real title available?)
- Stable Models for Temporal Theories
- Invariant-free clausal temporal resolution
- scientific article; zbMATH DE number 3974944 (Why is no real title available?)
- scientific article; zbMATH DE number 67449 (Why is no real title available?)
- Resolution for temporal logics of knowledge
- scientific article; zbMATH DE number 1348464 (Why is no real title available?)
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- scientific article; zbMATH DE number 1950255 (Why is no real title available?)
- A clausal resolution method for CTL branching-time temporal logic
- Removing irrelevant information in temporal resolution proofs
- scientific article; zbMATH DE number 1980919 (Why is no real title available?)
- Temporal equilibrium logic: a survey
- A resolution-based proof method for temporal logics of knowledge and belief
- Search strategies for resolution in temporal logics
- scientific article; zbMATH DE number 1444729 (Why is no real title available?)
- scientific article; zbMATH DE number 1444742 (Why is no real title available?)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Computational complexity of a core fragment of Halpern-Shoham logic
- scientific article; zbMATH DE number 4197947 (Why is no real title available?)
- Temporal reasoning over linear discrete time
- Temporal representation and reasoning in artificial intelligence: A review
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- Simplifying inductive schemes in temporal logic
- SAT meets tableaux for linear temporal logic satisfiability
- Variable and clause elimination for LTL satisfiability checking
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Two party immediate response disputes: Properties and efficiency
- A clausal resolution method for branching-time logic \(\text{ECTL}^+\)
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)
