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

4 papers

cs.LO2026

Intuitionistic Dynamic Logic

Lukas Zenger

The thesis develops intuitionistic dynamic logics—extensions of intuitionistic propositional logic with modalities, fixed‑point operators, and temporal operators—providing axiomati…

cs.LO2026

Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents

Tim S. Lyon, Lukas Zenger

We introduce and investigate non-wellfounded and cyclic linear nested sequent calculi, and, as a case study, develop such systems for linear temporal logic (LTL). The paper address…

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…