scientific article
From MaRDI portal
Publication:4012170
zbMath0745.68091MaRDI QIDQ4012170
No author found.
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Related Items
Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Stable Models for Temporal Theories ⋮ The saturated tableaux for linear miniscope Horn-like temporal logic ⋮ Modeling data-intensive reactive systems with relational transition systems ⋮ A transformation-based synthesis of temporal specification ⋮ A clausal resolution method for branching-time logic \(\text{ECTL}^+\) ⋮ Invariant-free clausal temporal resolution ⋮ The token reification approach to temporal reasoning ⋮ Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations ⋮ Temporal equilibrium logic: a survey ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Theorem proving using clausal resolution: from past to present ⋮ An explicit transition system construction approach to LTL satisfiability checking ⋮ A resolution-based proof method for temporal logics of knowledge and belief ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ Search strategies for resolution in temporal logics ⋮ Unnamed Item ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ A clausal resolution method for extended computation tree logic ECTL ⋮ A clausal resolution method for CTL branching-time temporal logic ⋮ Removing irrelevant information in temporal resolution proofs ⋮ Variable and clause elimination for LTL satisfiability checking ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Temporal reasoning over linear discrete time ⋮ Dual systems of tableaux and sequents for PLTL ⋮ Computational complexity of hybrid interval temporal logics ⋮ Hybrid fragments of Halpern-Shoham logic and their expressive power ⋮ A Compact Linear Translation for Bounded Model Checking ⋮ Two party immediate response disputes: Properties and efficiency