Multimodal and intuitionistic logics in simple type theory
From MaRDI portal
Publication:3061280
DOI10.1093/jigpal/jzp080zbMath1222.03023OpenAlexW2068880842WikidataQ57382614 ScholiaQ57382614MaRDI QIDQ3061280
Christoph Benzmüller, Lawrence Charles Paulson
Publication date: 14 December 2010
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/e2cced618f2e479674c6c8572ad4ebc319d5982f
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
Cut-elimination for quantified conditional logic ⋮ The higher-order prover \textsc{Leo}-II ⋮ Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics ⋮ Extensional higher-order paramodulation in Leo-III ⋮ Embedding and automating conditional logics in classical higher-order logic ⋮ Quantified multimodal logics in simple type theory ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments ⋮ Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) ⋮ Superposition with lambdas ⋮ Superposition with lambdas ⋮ Efficient local reductions to basic modal logic ⋮ Local is best: efficient reductions to modal logic \textsf{K}
Uses Software
This page was built for publication: Multimodal and intuitionistic logics in simple type theory
