Automated Reasoning with Analytic Tableaux and Related Methods
From MaRDI portal
Publication:5479269
DOI10.1007/11554554zbMath1141.03307OpenAlexW2486590071MaRDI QIDQ5479269
Angelo Montanari, Davide Bresolin
Publication date: 7 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11554554
Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (5)
An optimal decision procedure for right propositional neighborhood logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings ⋮ Decidability of a Hybrid Duration Calculus
This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods
