2026-07-23T16:54:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18594 2024-03-06T11:02:13Z ddc:004 open_access

Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity Kontinen, Juha Sandström, Max Virtema, Jonni Hyperproperties Linear Temporal Logic Team Semantics 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 by the Boolean negation. We relate the new semantics with the original semantics based on multisets and establish one of the first positive complexity theoretic results in the temporal team semantics setting. In particular we show that both logics enjoy normal forms that can be utilised to obtain results related to expressivity and complexity (decidability) of the new logics. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Juha Kontinen and Max Sandström and Jonni Virtema 2023 Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2023.60 urn:nbn:de:0030-drops-185949 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.60 eng https://creativecommons.org/licenses/by/4.0/legalcode