On the expressive power of TeamLTL and first-order team logic over hyperproperties

DOI10.1007/978-3-030-88853-4_19OpenAlexW3201171525MaRDI QIDQ2148802

Max Sandström, Juha Kontinen

Publication date: 24 June 2022

Full work available at URL: https://arxiv.org/abs/2110.11109

zbMATH Keywords

linear temporal logicteam semanticshyperproperties

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Epistemic operators in dependence logic
• On the complexity of linear temporal logic with team semantics
• Axiomatizations of team logics
• The First-Order Logic of Hyperproperties
• Team semantics for the specification and verification of hyperproperties
• Team Logic and Second-Order Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the expressive power of TeamLTL and first-order team logic over hyperproperties