Logic/General logic

Subject Classification

AMS: Mathematical logic and foundations / General logic

2026

A deep embedding of HOL in HOL: soundness, completeness, consistency

by Christoph Benzmüller and Daniel Kirchner

Aug 05

Completeness of the Q0 Higher-Order Logic

by Asta Halkjær From, Jonathan Julian Huerta y Munive and Anders Schlichtkrull

Aug 03

Monadic Second-Order Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Isabelle/HOL dataset)

by Christoph Benzmüller and Daniel Kirchner

Jul 13

Formalization of Lower-Bound Certificates for Optimal Classical Planning

by Dmitriy Traytel

Jun 13

Abstract Consistency Properties

by Asta Halkjær From and Anders Schlichtkrull

Mar 26

2025

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

by Christoph Benzmüller

May 06

First Order Clause

by Balazs Toth

Jan 17

2024

Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)

by Xavier Parent and Christoph Benzmüller

Mar 09

2023

Soundness of the Q0 proof system for higher-order logic

by Anders Schlichtkrull

Nov 20

Metatheory of Q0

by Javier Díaz

Nov 04

A Sound and Complete Calculus for Probability Inequalities

by Matthew Doty

Feb 20

Synthetic Completeness

by Asta Halkjær From

Jan 09

2022

Automation of Boolos' Curious Inference in Isabelle/HOL

by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe

Dec 05

Abstract Object Theory

by Daniel Kirchner

Nov 28

2021

Isabelle's Metalogic: Formalization and Proof Checker

by Tobias Nipkow and Simon Roßkopf

Apr 27

2020

Topological semantics for paraconsistent and paracomplete logics

by David Fuenmayor

Dec 17