Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554zbMath1169.03341OpenAlexW2486590071MaRDI QIDQ5479283

Koichi Takahashi, Akihiko Tozawa, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

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

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Efficiently Deciding μ-Calculus with Converse over Finite Trees

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