The First-Order Logic of Hyperproperties
From MaRDI portal
Publication:4636628
DOI10.4230/LIPIcs.STACS.2017.30zbMath1402.03036arXiv1610.04388OpenAlexW2539229089MaRDI QIDQ4636628
Bernd Finkbeiner, Martín G. Zimmermann
Publication date: 19 April 2018
Full work available at URL: https://arxiv.org/abs/1610.04388
Logic in computer science (03B70) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
A temporal logic for asynchronous hyperproperties, On the expressive power of TeamLTL and first-order team logic over hyperproperties, Flavors of sequential information flow, On the complexity of linear temporal logic with team semantics, HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems, Unnamed Item, Team semantics for the specification and verification of hyperproperties, Model checking algorithms for hyperproperties (invited paper), Compositional model checking for multi-properties, Synthesis from hyperproperties, Good-for-Game QPTL: An Alternating Hodges Semantics
