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
• A bi-intuitionistic modal logic: foundations and automation
• Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
• Using tableau to decide description logics with full role negation and identity
• Logic-independent proof search in logical frameworks (short paper)
• A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
• Tableau Development for a Bi-intuitionistic Tense Logic
• Automating automated reasoning. The case of two generic automated reasoning tools
• Modal tableau systems with blocking and congruence closure
• The higher-order prover Leo-III
• Expressing discrete spatial relations under granularity
• Theorem provers for every normal modal logic
• JTabWb: a Java framework for implementing terminating sequent and tableau calculi

This page was built for software: MetTeL