Image de couverture de livre

Deciding characteristic formulae: A journey in the branching-time spectrum

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Aceto, Luca, Achilleos, Antonis, Chalki, Aggeliki, Ingolfsdottir, Anna
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
par: Aceto, Luca, et autres
Publié: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
par: Aceto, Luca, et autres
Publié: (2025)

Complexity results for modal logic with recursion via translations and tableaux
par: Aceto, Luca, et autres
Publié: (2023)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
par: Aceto, Luca, et autres
Publié: (2025)

A unified rule format for bounded nondeterminism in SOS with terms as labels
par: Aceto, Luca, et autres
Publié: (2024)

When Are Prime Formulae Characteristic?
par: Aceto, Luca, et autres
Publié: (2024)

Logical characterisations, rule formats and compositionality for input-output conformance simulation
par: Aceto, Luca, et autres
Publié: (2024)

On the specification of modal systems: A comparison of three frameworks
par: Aceto, Luca, et autres
Publié: (2024)

An Undecidability Proof for the Plan Existence Problem
par: Achilleos, Antonis
Publié: (2026)

Rule Formats for Nominal Process Calculi
par: Aceto, Luca, et autres
Publié: (2024)

Centralized vs Decentralized Monitors for Hyperproperties
par: Aceto, Luca, et autres
Publié: (2024)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions
par: Achilleos, Antonis, et autres
Publié: (2023)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
par: Achilleos, Antonis, et autres
Publié: (2024)

Deciding branching hyperproperties for real time systems
par: Deka, Nabarun, et autres
Publié: (2024)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

On the Decidability of Presburger Arithmetic Expanded with Powers
par: Karimov, Toghrul, et autres
Publié: (2024)

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Finitely accessible arboreal adjunctions and Hintikka formulae
par: Reggio, Luca, et autres
Publié: (2023)

Measuring Decidability as Related to Busy Beaver Numbers
par: Tandi, Gurpreet, et autres
Publié: (2026)

Deciding Termination of Simple Randomized Loops
par: Meyer, Éléanore, et autres
Publié: (2025)

On the Decidability of Monadic Theories of Arithmetic Predicates
par: Berthé, Valérie, et autres
Publié: (2024)

On Deciding Constant Runtime of Linear Loops
par: Frohn, Florian, et autres
Publié: (2026)

Decidability of MSO Reparameterization over Countable Chains
par: Rabinovich, Alexander
Publié: (2026)

The 2-Dimensional Constraint Loop Problem is Decidable
par: Guilmant, Quentin, et autres
Publié: (2024)

Craig Interpolation for Decidable First-Order Fragments
par: Cate, Balder ten, et autres
Publié: (2023)

Proof complexity of positive branching programs
par: Das, Anupam, et autres
Publié: (2021)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
par: Li, Yongming
Publié: (2025)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
par: Gamsakhurdia, Mariami, et autres
Publié: (2025)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
par: Balasubramanian, A. R.
Publié: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
par: Su, Wanyun, et autres
Publié: (2024)

Deciding Predicate Logical Theories of Real-Valued Functions
par: Ratschan, Stefan
Publié: (2023)

Decidability of Graph Neural Networks via Logical Characterizations
par: Benedikt, Michael, et autres
Publié: (2024)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
par: Kurucz, Agi, et autres
Publié: (2023)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)