Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554zbMath1142.68497OpenAlexW2486590071MaRDI QIDQ5479288

D. Longin, Andreas Herzig, Mohamad Sahade, Olivier Gasquet

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

Mathematics Subject Classification ID

Related Items (11)

Intuitionistic Decision Procedures Since Gentzen ⋮ $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine ⋮ Proof Search for the First-Order Connection Calculus in Maude ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi ⋮ Efficient local reductions to basic modal logic ⋮ Tableau Method and NEXPTIME-Completeness of DEL-Sequents ⋮ LotrecScheme ⋮ The Tableau Workbench ⋮ Local is best: efficient reductions to modal logic \textsf{K} ⋮ Local reductions for the modal cube ⋮ Modal Logic S5 Satisfiability in Answer Set Programming

Uses Software

• PVS
• LoTREC

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods