MetTeL

swMATH11990MaRDI QIDQ23924FDOQ23924

Author name not available (Why is that?)

Described by source

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

Cited In (15)

• Blocking and other enhancements for bottom-up model generation methods
• Axiomatizing discrete spatial relations
• Logical analysis of emotions in text from natural language
• Modal Tableau Systems with Blocking and Congruence Closure
• A bi-intuitionistic modal logic: foundations and automation
• Using tableau to decide description logics with full role negation and identity
• JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
• Theorem Provers For Every Normal Modal Logic
• Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
• Logic-independent proof search in logical frameworks (short paper)
• Tableau Development for a Bi-intuitionistic Tense Logic
• Automating automated reasoning. The case of two generic automated reasoning tools
• The higher-order prover Leo-III
• Expressing discrete spatial relations under granularity
• A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$

This page was built for software: MetTeL