Monodic temporal resolution

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

zbMATH Keywords

resolutiontemporal logicautomated theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

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