LoTREC
swMATH ID: | 7684 |
Software Authors: | Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad |
Description: | LoTREC: Logical tableaux research engineering companion. In this paper we describe a generic tableaux system for building models or counter-models and testing satisfiability of formulas in modal and description logics. This system is called LoTREC2.0. It is characterized by a high-level language for tableau rules and strategies. It aims at covering all Kripke-semantic based logics. It is implemented in Java and characterized by a user-friendly graphical interface. It can be used as a learning system for possible worlds semantics and tableaux based proof methods. |
Homepage: | http://www.irit.fr/Lotrec/ |
Related Software: | PVS; MetTeL; MSPASS; SPASS; E Theorem Prover; MleanCoP; embed_modal; TWB; QMLTP; TPTP; InKreSAT; Leo-III; TABLEAUX; Lotrecscheme; Imogen; ileanCoP; STRIP; ILTP; Cool; Racer |
Cited in: | 29 Documents |
all
top 5
Cited by 68 Authors
all
top 5
Cited in 12 Serials
Cited in 4 Fields
27 | Computer science (68-XX) |
20 | Mathematical logic and foundations (03-XX) |
1 | General and overarching topics; collections (00-XX) |
1 | Combinatorics (05-XX) |