Buchumschlag

The Complexity of Fragments of Second-Order HyperLTL

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Regaud, Gaëtan, Zimmermann, Martin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Complexity of Generalized HyperLTL with Stuttering and Contexts
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

The Complexity of Second-order HyperLTL
von: Frenkel, Hadar, et al.
Veröffentlicht: (2023)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

The Complexity of HyperQPTL
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2024)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
von: Fortin, Marie, et al.
Veröffentlicht: (2023)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
von: Gonzalez, Bruno Maria René, et al.
Veröffentlicht: (2025)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
von: Kontinen, Juha, et al.
Veröffentlicht: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
von: Winter, Sarah, et al.
Veröffentlicht: (2024)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
von: Murali, Vishnu, et al.
Veröffentlicht: (2026)

Computational Complexity of Standpoint LTL
von: Demri, Stéphane, et al.
Veröffentlicht: (2024)

The Parameterized Complexity of Learning Monadic Second-Order Logic
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2023)

A Complete Fragment of LTL(EB)
von: Ferrarotti, Flavio, et al.
Veröffentlicht: (2024)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

Characterizing LTL Formulas by Examples
von: Cate, Balder ten, et al.
Veröffentlicht: (2026)

Runtime Verification for LTL in Stochastic Systems
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)

The Complexity and Expressive Power of Second-Order Extended Logic
von: Feng, Shiguang, et al.
Veröffentlicht: (2022)

The Complexity of Data-Free Nfer
von: Kauffman, Sean, et al.
Veröffentlicht: (2024)

Craig Interpolation for Decidable First-Order Fragments
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

Comodule Representations of Second-Order Functionals
von: Ahman, Danel, et al.
Veröffentlicht: (2024)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
von: Tóth, Jan, et al.
Veröffentlicht: (2024)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
von: Winter, Sarah, et al.
Veröffentlicht: (2025)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
von: Lutz, Carsten, et al.
Veröffentlicht: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2023)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
von: Artale, Alessandro, et al.
Veröffentlicht: (2022)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
von: Elad, Neta, et al.
Veröffentlicht: (2026)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
von: Joshi, Varad, et al.
Veröffentlicht: (2025)

Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2006)

On a Second-Order Version of Russellian Theory of Definite Descriptions
von: Petrukhin, Yaroslav
Veröffentlicht: (2025)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
von: Danso, Priscilla Kyei, et al.
Veröffentlicht: (2026)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
von: Lyon, Tim S.
Veröffentlicht: (2024)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Positive and monotone fragments of FO and LTL
von: Kuperberg, Denis, et al.
Veröffentlicht: (2024)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
von: Perez, Mateo, et al.
Veröffentlicht: (2023)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
von: Xiao, Shengping, et al.
Veröffentlicht: (2024)

A Rewriting Theory for Quantum Lambda-Calculus
von: Faggian, Claudia, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)