Combining logics in simple type theory

DOI10.1007/978-3-642-14977-1_6MaRDI QIDQ3582734zbMATH OpenOpenAlexFDO

Authors Christoph Benzmüller

Publication date 24 August 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14977-1_6

Mathematics Subject Classification ID

Combined logics (03B62) Logic in artificial intelligence (68T27)

Recommendations

• Combining and automating classical and non-classical logics in classical higher-order logics
• Multimodal and intuitionistic logics in simple type theory
• Quantified multimodal logics in simple type theory
• The seven virtues of simple type theory
• Combinations of modal logics

Cited in

(8)

• Quantified multimodal logics in simple type theory
• Verifying the modal logic cube is an easy task (for higher-order automated reasoners)
• Multimodal and intuitionistic logics in simple type theory
• scientific article; zbMATH DE number 4143942 (Why is no real title available?)
• scientific article; zbMATH DE number 6304248 (Why is no real title available?)
• scientific article; zbMATH DE number 3273876 (Why is no real title available?)
• Formalising basic topology for computational logic in simple type theory
• Soundness-preserving fusion of modal logics in Coq

Describes a project that uses

Uses Software

• THF0
• LEO-II
• TPS
• Isabelle/HOL
• TPTP

This page was built for publication: Combining logics in simple type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582734)