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

DOI10.1007/978-3-030-88853-4_19MaRDI QIDQ2148802zbMATH OpenOpenAlexFDO

Authors Juha Kontinen, Max Sandström

Publication date 24 June 2022

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

zbMATH Keywords

team semanticslinear temporal logichyperproperties

Mathematics Subject Classification ID

Logic in computer science (03B70)

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

Cites work

• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• Axiomatizations of team logics
• Dependence logic. A new approach to independence friendly logic
• Epistemic operators in dependence logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On the complexity of linear temporal logic with team semantics
• Team logic and second-order logic
• Team semantics for the specification and verification of hyperproperties
• The first-order logic of hyperproperties

Cited in

(6)

• Set semantics for asynchronous TeamLTL: expressivity and complexity
• HyperLTL satisfiability is highly undecidable, \(\mathrm{HyperCTL}^*\) is even harder
• The complexity of second-order HyperLTL
• 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)