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
