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.LO2025
A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
Justus Becker
We present a labelled and non-wellfounded calculus for the bimodal provability logic CS. The system is obtained by modelling the Kripke-like semantics of this logic. As in arXiv:23…