The First-Order Logic of Hyperproperties

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

zbMATH Keywords

first-order logiclinear temporal logichyperproperties

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (16)

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 ⋮ Explaining Hyperproperty Violations ⋮ Second-order hyperproperties ⋮ A remark on the expressivity of asynchronous TeamLTL and HyperLTL ⋮ Temporal team semantics revisited ⋮ Deciding hyperproperties combined with functional specifications ⋮ Synthesis from hyperproperties ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics

This page was built for publication: The First-Order Logic of Hyperproperties