The tableaux work bench

DOI10.1007/B12030MaRDI QIDQ5187870zbMATH OpenOpenAlexFDO

Authors Pietro Abate, Rajeev Goré

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

Mathematics Subject Classification ID

Recommendations

• The Tableau Workbench
• Automated Reasoning with Analytic Tableaux and Related Methods
• TABLEAUX: A general theorem prover for modal logics
• JTabWb: a Java framework for implementing terminating sequent and tableau calculi
• \textsc{MetTeL}: a tableau prover with logic-independent inference engine

Cited in

(10)

• A general tableau method for propositional interval temporal logics: theory and implementation
• LotrecScheme
• \textsc{MetTeL}: a tableau prover with logic-independent inference engine
• Simulation and synthesis of deduction calculi
• Intuitionistic Decision Procedures Since Gentzen
• JTabWb: a Java framework for implementing terminating sequent and tableau calculi
• The Tableau Workbench
• Proof Search for the First-Order Connection Calculus in Maude
• A Refined Resolution Calculus for CTL
• A resolution calculus for the branching-time temporal logic CTL

This page was built for publication: The tableaux work bench

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5187870)