MetTeL swMATH ID: 11990 Software Authors: Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad Description: MetTeL: A tableau prover with logic-independent inference engine. MetTeL is a generic tableau prover for various modal, intuitionistic, hybrid, description and metric logics. The core component of MetTeL is a logic-independent tableau inference engine. A novel feature is that users have the ability to flexibly specify the set of tableau rules to be used in derivations. Termination can be achieved via a generalisation of a standard loop checking mechanism or unrestricted blocking. Homepage: http://www.mettel-prover.org/ Related Software: KL-ONE; LoTREC; E Theorem Prover; SPASS; Gen2sat; MSPASS; TPTP; MleanCoP; QMLTP; Satallax; Isabelle/HOL; FaCT++; Nitpick; E-KRHyper; Mace4; E-Darvin; SATCHMO; FINDER; Darwin; VAMPIRE Cited in: 15 Publications Further Publications: http://www.mettel-prover.org/papers.php Standard Articles 2 Publications describing the Software, including 1 Publication in zbMATH Year The tableau prover generator METTEL2 Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad 2012 MetTeL: a tableau prover with logic-independent inference engine. Zbl 1332.68205Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad 2011 all top 5 Cited by 19 Authors 8 Schmidt, Renate A. 4 Stell, John G. 4 Tishkovsky, Dmitry 2 Benzmüller, Christoph Ewald 2 Khodadadi, Mohammad 2 Rydeheard, David E. 2 Sano, Katsuhiko 2 Sindoni, Giulia 2 Steen, Alexander 2 Zamansky, Anna 2 Zohar, Yoni 1 Abbasi, Mohsin Manshad 1 Baumgartner, Peter 1 Bel’tyukov, Anatoliĭ Petrovich 1 Ferrari, Mauro 1 Fiorentini, Camillo 1 Fiorino, Guido 1 Gleißner, Tobias 1 Waldmann, Uwe Cited in 5 Serials 2 Journal of Logical and Algebraic Methods in Programming 1 Journal of Automated Reasoning 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki Cited in 2 Fields 12 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) Citations by Year