- 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
4 papers
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…
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…
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…
Electronic excitations in the Shastry-Sutherland compound SrCu(BO)
Tariq Leinen, Ola K. Forslund, Eugenio Paris +13
SrCu2(BO3)2 (SCBO) is a paradigmatic realization of the Shastry-Sutherland model, hosting geometrically frustrated spin dimers and a variety of quantum magnetic phases and phenomen…