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)

2025

A meta-modal logic for bisimulations

by Alfredo Burrieza, Fernando Soler-Toscano and Antonio Yuste-Ginel

Jul 22

Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)

by Christoph Benzmüller

May 06

Notes on Gödel’s and Scott’s Variants of the Ontological Argument (Isabelle/HOL dataset)

by Christoph Benzmüller and Dana Scott

Jan 07

2024

Deep Embedding of Intuitionistic Linear Logic

by Filip Smola and Jacques D. Fleuriot

Nov 25

2023

Coupled Similarity and Contrasimilarity, and How to Compute Them

by Benjamin Bisping and Luisa Montanari

Aug 18

2021

Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL

by Christoph Benzmüller

Nov 08

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

Apr 09

2019

Formalizing a Seligman-Style Tableau System for Hybrid Logic

by Asta Halkjær From

Dec 20

2017

Hybrid Multi-Lane Spatial Logic

by Sven Linker

Nov 06

Differential Dynamic Logic

by Rose Bohrer

Feb 13

2016

Modal Logics for Nominal Transition Systems

by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas

Oct 25