Automated Reasoning with Analytic Tableaux and Related Methods
From MaRDI portal
Publication:5187862
DOI10.1007/b12030zbMath1274.03033OpenAlexW4302076531MaRDI QIDQ5187862
Guido Sciavicco, Angelo Montanari, Valentin F. Goranko
Publication date: 9 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12030
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Temporal logic (03B44)
Related Items (9)
Metric propositional neighborhood logic with an equivalence relation ⋮ An optimal decision procedure for right propositional neighborhood logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ An event-based fragment of first-order logic over intervals ⋮ Temporal prepositions and their logic ⋮ A new modal logic for reasoning about space: spatial propositional neighborhood logic ⋮ Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Unnamed Item
This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods
