Buchumschlag

Expressiveness Results for Timed Modal Mu-Calculi

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cleaveland, Rance, Keiren, Jeroen J. A., Fontana, Peter
Format:	Preprint
Veröffentlicht:	2023
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

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Corrections to A Menagerie of Timed Automata
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2016)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Tutorial: Designing Distributed Software in mCRL2
von: Groote, Jan Friso, et al.
Veröffentlicht: (2021)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
von: Stramaglia, Anna, et al.
Veröffentlicht: (2025)

Local Intuitionistic Modal Logics and Their Calculi
von: Balbiani, Philippe, et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2013)

Stuttering Equivalence for Parity Games
von: Cranen, Sjoerd, et al.
Veröffentlicht: (2011)

Structural Analysis of Boolean Equation Systems
von: Keiren, Jeroen, et al.
Veröffentlicht: (2010)

Lax Modal Lambda Calculi
von: Valliappan, Nachiappan
Veröffentlicht: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

Deadlock in packet switching networks
von: Stramaglia, Anna, et al.
Veröffentlicht: (2021)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
von: Jansen, David N., et al.
Veröffentlicht: (2019)

Fair Mutual Exclusion for N Processes (extended version)
von: Hafidi, Yousra, et al.
Veröffentlicht: (2021)

Forcing, Transition Algebras, and Calculi
von: Go, Hashimoto, et al.
Veröffentlicht: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

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

Rule Formats for Nominal Process Calculi
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
von: Nishimura, Yuki
Veröffentlicht: (2022)

An Expressive Coalgebraic Modal Logic for Cellular Automata
von: Basold, Henning, et al.
Veröffentlicht: (2025)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
von: Litak, Tadeusz, et al.
Veröffentlicht: (2025)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
von: Imaz, Gonzalo E.
Veröffentlicht: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
von: Alrabbaa, Christian, et al.
Veröffentlicht: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Hypersequent Calculi Have Ackermannian Complexity
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2026)

Adding Negation to Lambda Mu
von: van Bakel, Steffen
Veröffentlicht: (2021)

Twist Sequent Calculi for S4 and its Neighbors
von: Kamide, Norihiro
Veröffentlicht: (2024)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
von: Gao, Dichuan, et al.
Veröffentlicht: (2026)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

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

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Dependence and Independence for Reversible Process Calculi
von: Aubert, Clément, et al.
Veröffentlicht: (2024)