3 papers
cs.LO2026
Intuitionistic Justification Logic, Semantically
Sonia Marin, Paaras Padhiar, Ian Shillito
Justification logics are explicit versions of modal logic. In the classical setting, this means boxes are refined with explicit proof terms and interact with each other through pro…
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.LO2025
Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
Sonia Marin, Paaras Padhiar
Justification logics are an explication of modal logic; boxes are replaced with proof terms formally through realisation theorems. This can be achieved syntactically using a cut-fr…