Interacting with Modal Logics in the Coq Proof Assistant-Reference-Cited by-同舟云学术

Interacting with Modal Logics in the Coq Proof Assistant

Published:2015 Issue: Volume: Page:398-411
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Benzmüller Christoph,Woltzenlogel Paleo Bruno

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-20297-6_25

Reference24 articles.

1. Benzmüller, C., Paleo, B.W.: Formalization, mechanization and automation of Gödel’s proof of god’s existence. CoRR, abs/1308.4526 (2013)

2. Benzmüller, C., Paleo, B.W.: Gödel’s God inIsabelle/HOL. Archive of Formal Proofs, 2013 (2013)

3. Benzmüller, C., Paulson, L.C.: Exploring properties of normal multimodal logics in simple type theory with LEO-II. In: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, pp. 386–406. College Publications (2008)

4. Benzmüller, C., Paulson, L.C.: Quantified multimodal logics in simple type theory. Logica Universalis (Special Issue on Multimodal Logics) 7(1), 7–20 (2013)

5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);CE Benzmüller,2008

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalizing the Unexpected Hanging Paradox: A Classical Surprise;Lecture Notes in Computer Science;2023

2. SYMBOLIC AI AND GÖDEL'S ONTOLOGICAL ARGUMENT;Zygon®;2022-09-13

3. Computer verification for historians of philosophy;Synthese;2022-05-05

4. LOGIC: A Coq Library for Logics;Dependable Software Engineering. Theories, Tools, and Applications;2022

5. Computer Science and Metaphysics: A Cross-Fertilization;Open Philosophy;2019-08-23