3 papers
cs.LO2025
Inquisitive Team Semantics of LTL
Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann +1
In this paper, we introduce a novel team semantics of LTL inspired by inquisitive logic. The main features of the resulting logic, we call InqLTL, are the intuitionistic interpreta…
math.LO2024
Lewis and Brouwer meet Strong Löb
Albert Visser, Tadeusz Litak
We study the principle phi implies box phi, known as `Strength' or `the Completeness Principle', over the constructive version of Löb's Logic. We consider this principle both for t…
cs.LO2024
Ruitenburg's Theorem Mechanized and Contextualized
Tadeusz Litak
In 1984, Wim Ruitenburg published a surprising result about periodic sequences in intuitionistic propositional calculus (IPC). The property established by Ruitenburg naturally gene…