Automated Reasoning with Analytic Tableaux and Related Methods
From MaRDI portal
Publication:5187870
DOI10.1007/b12030zbMath1274.68404OpenAlexW4302076531MaRDI QIDQ5187870
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
Related Items (8)
Simulation and Synthesis of Deduction Calculi ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine ⋮ A resolution calculus for the branching-time temporal logic CTL ⋮ Proof Search for the First-Order Connection Calculus in Maude ⋮ A Refined Resolution Calculus for CTL ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ LotrecScheme
This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods
