MetTeL
From MaRDI portal
Cited in
(33)- Axiomatizing discrete spatial relations
- The higher-order prover Leo-III
- MUltlog
- CoLoSS
- LoTREC
- Expressing discrete spatial relations under granularity
- Logic-independent proof search in logical frameworks (short paper)
- Automating automated reasoning. The case of two generic automated reasoning tools
- QMLTP
- Blocking and other enhancements for bottom-up model generation methods
- fCube
- Imogen
- Cool
- GQML
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
- A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
- Gen2sat
- MSPASS
- A bi-intuitionistic modal logic: foundations and automation
- MleanCoP
- FMLtoHOL
- nanoCoP
- JTabWb
- Modal tableau systems with blocking and congruence closure
- KEMS
- embed_modal
- KL-ONE
- ArchSAT
- JTabWb: a Java framework for implementing terminating sequent and tableau calculi
- Theorem provers for every normal modal logic
- Logical analysis of emotions in text from natural language
- Using tableau to decide description logics with full role negation and identity
- Tableau Development for a Bi-intuitionistic Tense Logic
This page was built for software: MetTeL
