33 citations · 116 across the 22 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero +1
Characterisations theorems serve as important tools in model theory and can be used to assess and compare the expressive power of temporal languages used for the specification and…
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…