2 papers
cs.LO2024
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Juha Kontinen, Max Sandström, Jonni Virtema
Linear temporal logic (LTL) is used in system verification to write formal specifications for reactive systems. However, some relevant properties, e.g. non-inference in information…
cs.LO2023
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
Juha Kontinen, Max Sandström, Jonni Virtema
We introduce and develop a set-based semantics for asynchronous TeamLTL. We consider two canonical logics in this setting: the extensions of TeamLTL by the Boolean disjunction and…