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 cs.LOShow all

2 papers · 1 filter

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…