Flavors of quantifiers in hyperlogics

DOI10.4230/LIPICS.FSTTCS.2025.20MaRDI QIDQ7391892zbMATH OpenFDO

Authors Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

Publication date 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2025.20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cites work

• Complete Proof System for QPTL
• Flavors of sequential information flow
• scientific article; zbMATH DE number 6851935 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• scientific article; zbMATH DE number 7799630 (Why is no real title available?)
• Realizing \(\omega\)-regular hyperproperties
• Second-order hyperproperties
• The first-order logic of hyperproperties
• The hierarchy of hyperlogics
• The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
• Unifying hyper and epistemic temporal logics

This page was built for publication: Flavors of quantifiers in hyperlogics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7391892)