Monodic temporal resolution
From MaRDI portal
Publication:5277744
DOI10.1145/1119439.1119443zbMath1367.03035arXivcs/0306041OpenAlexW2111581283MaRDI QIDQ5277744
No author found.
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0306041
Related Items (14)
Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Parameterized verification of leader/follower systems via first-order temporal logic ⋮ On temporal logics with data variable quantifications: decidability and complexity ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Theorem proving using clausal resolution: from past to present ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ First-Order Resolution Methods for Modal Logics ⋮ A calculus for automatic verification of Petri nets based on resolution and dynamic logics ⋮ Fair Derivations in Monodic Temporal Reasoning ⋮ Temporal Verification of Fault-Tolerant Protocols ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Temporal Logics of Knowledge and their Applications in Security
This page was built for publication: Monodic temporal resolution
