scientific article

zbMath1327.68204MaRDI QIDQ3457212

Thomas Raths, Jens Otten, Christoph Benzmüller

Publication date: 11 December 2015

Full work available at URL: http://ebooks.iospress.nl/volumearticle/6966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items

The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics, Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics, Interacting with Modal Logics in the Coq Proof Assistant, Extensional higher-order paramodulation in Leo-III, Solving modal logic problems by translation to higher-order logic, Higher-Order Modal Logics: Automation and Applications, Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support, From Schütte’s Formal Systems to Modern Automated Deduction, Reducing higher-order theorem proving to a sequence of SAT problems

Uses Software

• TPTP
• leanCoP
• ileanCoP
• QMLTP
• leanTAP
• MSPASS