Buchumschlag

Computational Complexity of Standpoint LTL

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Demri, Stéphane, Wałęga, Przemysław Andrzej
Format:	Preprint
Veröffentlicht:	2024
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

Hybrid Modal Operators for Definite Descriptions
von: Wałęga, Przemysław Andrzej, et al.
Veröffentlicht: (2024)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
von: Wałęga, Przemysław Andrzej, et al.
Veröffentlicht: (2026)

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
von: Demri, Stephane, et al.
Veröffentlicht: (2023)

Robustness of Constraint Automata for Description Logics with Concrete Domains
von: Demri, Stéphane, et al.
Veröffentlicht: (2026)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

Practical Reasoning in DatalogMTL
von: Wang, Dingmin, et al.
Veröffentlicht: (2024)

The Complexity of Fragments of Second-Order HyperLTL
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

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

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
von: Lanzinger, Matthias, et al.
Veröffentlicht: (2024)

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

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
von: Sochański, Michał, et al.
Veröffentlicht: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

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

Extending Defeasibility for Propositional Standpoint Logics
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

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)

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

Satisfiability for Knowing How over Linear Plans is NP-complete
von: Areces, Carlos, et al.
Veröffentlicht: (2026)

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

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
von: Bombardelli, Alberto, 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)

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

Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)
von: Álvarez, Lucía Gómez, et al.
Veröffentlicht: (2025)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

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

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

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
von: Maluszynski, Jan, et al.
Veröffentlicht: (2010)

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

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

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
von: Xiao, Shengping, 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)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
von: Szalas, Andrzej
Veröffentlicht: (2025)

A Unified Gentzen-style Framework for Until-free LTL
von: Kamide, Norihiro, et al.
Veröffentlicht: (2024)

Shield Synthesis for LTL Modulo Theories
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2024)

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

Simplifying LTL Model Checking Given Prior Knowledge
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2025)

Cyclic Implicit Complexity
von: Curzi, Gianluca, et al.
Veröffentlicht: (2021)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
von: Bals, Severin, et al.
Veröffentlicht: (2023)