3 papers
cs.LO2026
Module checking of pushdown multi-agent systems
Laura Bozzelli, Aniello Murano, Adriano Peron
In this paper, we investigate the module-checking problem of pushdown multi-agent systems (PMS) against ATL and ATL* specifications. We establish that for ATL, module checking of P…
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.LO2024
Unifying Asynchronous Logics for Hyperproperties
Alberto Bombardelli, Laura Bozzelli, César Sánchez +1
We introduce and investigate a powerful hyper logical framework in the linear-time setting, we call generalized HyperLTL with stuttering and contexts (GHyperLTL_SC for short). GHyp…