scientific article
From MaRDI portal
Publication:3086787
zbMath1227.03017MaRDI QIDQ3086787
Christoph Benzmüller, Lawrence Charles Paulson
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
embedding of multimodal logics in simple type theoryfirst-order automated theorem prover \texttt{E}higher-order theorem prover \texttt{LEO-II}
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items
Cut-elimination for quantified conditional logic, Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics, Interacting with Modal Logics in the Coq Proof Assistant, Quantified multimodal logics in simple type theory, Combining and automating classical and non-classical logics in classical higher-order logics, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, THF0 – The Core of the TPTP Language for Higher-Order Logic, Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Uses Software