3 papers
math.LO2026
Wider systems for linear logic with fixed points: proof theory and complexity
Anupam Das, Tikhon Pshenitsyn
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal for fixed points. Our main re…
cs.LO2026
The proof theory and semantics of second-order (intuitionistic) tense logic
Justus Becker, Anupam Das, Sonia Marin +1
We develop a second-order extension of intuitionistic modal logic, allowing quantification over propositions, both syntactically and semantically. A key feature of second-order log…
cs.LO2023
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics
Anupam Das, Iris van der Giessen, Sonia Marin
We derive an intuitionistic version of Gödel-Löb modal logic () in the style of Simpson, via proof theoretic techniques. We recover a labelled system, , by…