Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Proof Theory for Non-Contingency Logic
Yunsong Wang, Lukas Zenger
{Non-contingency logic $(\KWL)$ replaces the usual necessity operator of modal logic with an operator expressing that a proposition is necessarily true or necessarily false. Beside…
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 mult…
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…