Download PDFOpen PDF in browserImplementing Different Proof Calculi for First-order Modal Logics7 pages•Published: August 19, 2013AbstractThis extended abstract presents several new automated theorem proving systems for first-order modal logics and sketches their calculi and working principles. The abstract also summarizes the results of a recent comparative evaluation of these new provers.Keyphrases: automated reasoning in non classical logics, automated theorem proving, evaluation, implementation of provers, modal logic In: Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning, vol 21, pages 12-18.
|