works on
dynamic logic 1intuitionistic logic 1modal logic 1sequent calculus 1temporal logic 1

From the 1 of 4 linked papers with an AI index.

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Intuitionistic Common Knowledge

Lukas Zenger

We study an intuitionistic version of common knowledge logic (CK), called ICK, which was introduced by Jäger and Marti. ICK extends intuitionistic propositional logic (IPL) by mul…

math.LO2025

Coalgebraic proof translations for non-wellfounded proofs

Borja Sierra Miranda, Thomas Studer, Lukas Zenger

Non-wellfounded proof theory results from allowing proofs of infinite height in proof theory. To guarantee that there is no vicious infinite reasoning, it is usual to add a constra…