Unifying Hyper and Epistemic Temporal Logics
From MaRDI portal
Publication:2949438
DOI10.1007/978-3-662-46678-0_11zbMath1459.03019arXiv1409.2711OpenAlexW2048963544MaRDI QIDQ2949438
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
Publication date: 1 October 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1409.2711
Analysis of algorithms and problem complexity (68Q25) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (7)
Runtime enforcement of hyperproperties ⋮ Flavors of sequential information flow ⋮ 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) ⋮ Propositional Dynamic Logic for Hyperproperties
This page was built for publication: Unifying Hyper and Epistemic Temporal Logics