The QMLTP Problem Library for First-Order Modal Logics

DOI10.1007/978-3-642-31365-3_35zbMath1358.68262OpenAlexW28519672MaRDI QIDQ2908515

Thomas Raths, Jens Otten

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_35

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics, Extensional higher-order paramodulation in Leo-III, Solving modal logic problems by translation to higher-order logic, Higher-Order Modal Logics: Automation and Applications, Unnamed Item, From Schütte’s Formal Systems to Modern Automated Deduction, Local reductions for the modal cube

Uses Software

• ILTP
• LEO-II
• TPTP
• QMLTP