LoTREC
From MaRDI portal
Cited in
(60)- Hilberticus
- STRIP
- A resolution-based calculus for preferential logics
- MUltlog
- CoLoSS
- ARA
- RALL
- Local is best: efficient reductions to modal logic \textsf{K}
- Local reductions for the modal cube
- QMLTP
- NESCOND
- Lotrecscheme
- On coarser interval temporal logics
- fCube
- Imogen
- TABLEAUX
- MetTeL
- Cool
- GQML
- ModLeanTAP
- Capturing equilibrium models in modal logic
- Scheme
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
- Tableau method and NEXPTIME-completeness of DEL-sequents
- LotrecScheme
- A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
- Gen2sat
- TWB
- MSPASS
- Implementing a relational theorem prover for modal logic K
- \textsc{MetTeL}: a tableau prover with logic-independent inference engine
- SCIFF
- Intuitionistic Decision Procedures Since Gentzen
- MleanCoP
- FMLtoHOL
- MODPROF
- JTabWb
- Tableaux for logics of subinterval structures over dense orderings
- Terminating modal tableaux with simple completeness proof
- InKreSAT
- Logic programming for finding models in the logics of knowledge and its applications: a case study
- IntHistGC
- An efficient relational deductive system for propositional non-classical logics
- Kripke's worlds. An introduction to modal logics via tableaux
- KEMS
- embed_modal
- leanK
- KL-ONE
- SableCC
- scientific article; zbMATH DE number 1765691 (Why is no real title available?)
- JTabWb: a Java framework for implementing terminating sequent and tableau calculi
- Relational dual tableau decision procedure for modal logic K
- The Tableau Workbench
- Normative reasoning and consequence
- Modal logic S5 satisfiability in answer set programming
- Proof Search for the First-Order Connection Calculus in Maude
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
- Automated Reasoning with Analytic Tableaux and Related Methods
- Automated synthesis of tableau calculi
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
This page was built for software: LoTREC
