MetTeL

swMATH11990MaRDI QIDQ23924FDOQ23924

Author name not available (Why is that?)

Official website: http://www.mettel-prover.org/

Described by source

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

Cited In (33)

• 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
• MUltlog
• CoLoSS
• LoTREC
• QMLTP
• fCube
• Imogen
• Cool
• GQML
• Gen2sat
• MSPASS
• FMLtoHOL
• MleanCoP
• nanoCoP
• JTabWb
• KEMS
• embed_modal
• KL-ONE
• ArchSAT
• 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