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

Citations by Year