4 citations · 19 across the 22 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…
cs.LO2025
First-Order Coalition Logic
Davide Catta, Rustam Galimullin, Aniello Murano
We introduce First-Order Coalition Logic (), which combines key intuitions behind Coalition Logic () and Strategy Logic (). Specifically, $…