Formal Verification of Axiom-Free Gödelian Ontological Argument and Trinity Necessity Proof in Isabelle HOL
by Kim, Yong-Dock
by Kim, Yong-Dock
Logic/General logic/Modal logic
Subject Classification
ACM: Theory of computation~Modal and temporal logics
AMS: Mathematical logic and foundations / General logic / Modal logic (including the logic of norms)
2026
by Kim, Yong-Dock
2025
The Weak Spectroscopy Game to Characterize Behavioral Equivalences
by Lisa A. Barthel, Leonard M. Hübner, Caroline Lemke, Karl P. P. Mattes, Lenard Mollenkopf and Benjamin Bisping
A meta-modal logic for bisimulations
by Alfredo Burrieza, Fernando Soler-Toscano and Antonio Yuste-Ginel
Notes on Gödel’s and Scott’s Variants of the Ontological Argument (Isabelle/HOL dataset)
by Christoph Benzmüller and Dana Scott
2024
2023
Coupled Similarity and Contrasimilarity, and How to Compute Them
by Benjamin Bisping and Luisa Montanari
2021
Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
by Christoph Benzmüller
2020
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations
by Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider and Dmitriy Traytel
2019
2017
2016
Modal Logics for Nominal Transition Systems
by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas