3 papers
math.LO2026
A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
Justus Becker
A key motivation for Heyting's intuitionistic logic was to gain a formal notion of Brouwer's idea of mathematics as a "construction of the mind". One might thus argue that Heyting'…
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…