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

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

Max Sandström, Juha Kontinen

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• 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 (2)

• A remark on the expressivity of asynchronous TeamLTL and HyperLTL
• 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)