3 papers
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…
math.LO2026
Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
Jim de Groot, Tadeusz Litak, Dirk Pattinson
Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of axioms for strict im…
cs.LO2025
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
Tadeusz Litak, Katsuhiko Sano
Propositional inquisitive logic is the limit of its -bounded approximations. In the predicate setting, however, this does not hold anymore, as discovered by Ciardelli and Grille…