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

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

Authors: Juha Kontinen, Max Sandström 

Publication date: 24 June 2022

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

Recommendations

• On the complexity of linear temporal logic with team semantics
• Team semantics for the specification and verification of hyperproperties
• Temporal team semantics revisited
• Set semantics for asynchronous TeamLTL: expressivity and complexity

zbMATH Keywords

team semanticslinear temporal logichyperproperties

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Dependence logic. A new approach to independence friendly logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatizations of team logics
• Team logic and second-order logic
• The first-order logic of hyperproperties
• Epistemic operators in dependence logic
• On the complexity of linear temporal logic with team semantics
• Team semantics for the specification and verification of hyperproperties

Cited In (3)

• A remark on the expressivity of asynchronous TeamLTL and HyperLTL
• Set semantics for asynchronous TeamLTL: expressivity and complexity
• Temporal team semantics revisited

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

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