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