-
Flavors of Quantifiers in Hyperlogics
Chalupa, Marek ; Henzinger, Thomas A. ; Oliveira Da Costa, Ana Alexandra 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Logical methods for the hierarchy of hyperlogics
Hofmann, Jana ; Finkbeiner, Bernd 2022 Saarländische Universitäts- und Landesbibliothek
-
Centralized vs Decentralized Monitors for Hyperproperties
Aceto, Luca ; Achilleos, Antonis ; Anastasiadi, Elli ; Francalanza, Adrian ; Gorla, Daniele ; Wagemaker, Jana 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Propositional Dynamic Logic for Hyperproperties
Gutsfeld, Jens Oliver ; Müller-Olm, Markus ; Ohrem, Christoph 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik