From the 5 of 161 papers with an AI index.
69 citations
- University of WarwickGB64 papers
- University of GenevaCH63 papers
- University of OxfordGB61 papers
- University of EdinburghGB60 papers
- University of ChicagoUS59 papers
- University of MichiganUS57 papers
- Centre National de la Recherche ScientifiqueFR55 papers
- University of CambridgeGB55 papers
- Université Grenoble AlpesFR53 papers
- Michigan State UniversityUS52 papers
- Queen Mary University of LondonGB52 papers
- Brookhaven National LaboratoryUS51 papers
4 papers · 1 filter
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…
Cyclic Proofs for iGL via Corecursion
Borja Sierra Miranda
Cyclic proof theory studies proofs where cycles are allowed. This is useful for developing proof theory for logics with fixpoint operators: cycles can be used to represent the unfo…