Showing cs.LOShow all
2 papers · 1 filter
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…