Automated Reasoning with Analytic Tableaux and Related Methods
From MaRDI portal
Publication:5479274
DOI10.1007/11554554zbMath1142.03328OpenAlexW2486590071MaRDI QIDQ5479274
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
Formal languages and automata (68Q45) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)
Related Items
Modal logics for reasoning about infinite unions and intersections of binary relations ⋮ A Tableau Calculus for Regular Grammar Logics with Converse ⋮ Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs ⋮ ExpTime tableau decision procedures for regular grammar logics with converse
This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods