2 papers
cs.LO2025
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…
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…