\textsc{MetTeL}: a tableau prover with logic-independent inference engine

DOI10.1007/978-3-642-22119-4_19MaRDI QIDQ3010372zbMATH OpenOpenAlexFDO

Authors Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

Publication date 1 July 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22119-4_19

Mathematics Subject Classification ID

Recommendations

• TABLEAUX: A general theorem prover for modal logics
• First-order modal tableaux
• LotrecScheme
• Automating automated reasoning. The case of two generic automated reasoning tools
• Automated Reasoning with Analytic Tableaux and Related Methods

Cites work

• A tableau method for checking rule admissibility in S4
• Automated Reasoning About Metric and Topology
• Automated Reasoning with Analytic Tableaux and Related Methods
• Automated synthesis of tableau calculi
• The tableaux work bench

Cited in

(9)

• Automating automated reasoning. The case of two generic automated reasoning tools
• MetTeL
• LotrecScheme
• scientific article; zbMATH DE number 1543300 (Why is no real title available?)
• JTabWb: a Java framework for implementing terminating sequent and tableau calculi
• The Tableau Workbench
• The tableaux work bench
• Using tableau to decide description logics with full role negation and identity
• Automated Reasoning with Analytic Tableaux and Related Methods

Describes a project that uses

Uses Software

• LoTREC

This page was built for publication: \textsc{MetTeL}: a tableau prover with logic-independent inference engine

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