- University of BernCH4 papers
- Center for Integrated Quantum Science and TechnologyDE1 paper
- Federico II University HospitalIT1 paper
- Indiana University BloomingtonUS1 paper
- MAX IV LaboratorySE1 paper
- Max Planck Institute for Solid State ResearchDE1 paper
- Paul Scherrer InstituteCH1 paper
- Universidade Federal de Santa CatarinaBR1 paper
- University of AmsterdamNL1 paper
- University of GenevaCH1 paper
- University of Naples Federico IIIT1 paper
- University of StuttgartDE1 paper
Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic
Jim de Groot, João Marcos, Rodrigo Stefanes
We define the notion of IK-bisimulation between the relational semantics for the intuitionistic modal logic IK, and prove that IK arises as the IK-bisimulation-invariant fragment o…
math.LO2026
Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem
Nick Bezhanishvili, Jim de Groot, Lawrence S. Moss
We investigate a modal extension of the infinitary classical logic with countable meets and joins, formulated with an eye toward measure-theoretic work in dynamical systems and in…
math.LO2026
Relational Semantics for Flat Heyting-Lewis Logic
Jim de Groot, Tadeusz Litak
We introduce relational semantics for "flat Heyting-Lewis logic" HLC-flat. This logic arises as the extension of intuitionistic logic with a Lewis-style strict implication modality…