$\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine

DOI10.1007/978-3-642-22119-4_19zbMath1332.68205OpenAlexW68183112MaRDI QIDQ3010372

Dmitry Tishkovsky, Mohammad Khodadadi, Renate A. Schmidt

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

Related Items (2)

Using tableau to decide description logics with full role negation and identity ⋮ MetTeL

Uses Software

• LoTREC

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 Reasoning with Analytic Tableaux and Related Methods
• Automated Synthesis of Tableau Calculi

This page was built for publication: $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine