Expressivity of asynchronous TeamLTL and HyperLTL

DOI10.1007/S00236-025-00514-XMaRDI QIDQ7266746zbMATH OpenFDO

Authors Juha Kontinen, Max Sandström, Jonni Virtema

Publication date 16 June 2026

Published in Acta Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00236-025-00514-X

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 1122463 (Why is no real title available?)
• scientific article; zbMATH DE number 7799630 (Why is no real title available?)
• A remark on the expressivity of asynchronous TeamLTL and HyperLTL
• A temporal logic for asynchronous hyperproperties
• Dependence logic. A new approach to independence friendly logic
• On strongly first-order dependencies
• On the expressive power of TeamLTL and first-order team logic over hyperproperties
• Set semantics for asynchronous TeamLTL: expressivity and complexity
• Synthesis from hyperproperties
• Team semantics for the specification and verification of hyperproperties
• Temporal hyperproperties
• Temporal team semantics revisited
• The first-order logic of hyperproperties
• The hierarchy of hyperlogics

This page was built for publication: Expressivity of asynchronous TeamLTL and HyperLTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7266746)