Image de couverture de livre

Expressiveness Results for Timed Modal Mu-Calculi

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cleaveland, Rance, Keiren, Jeroen J. A., Fontana, Peter
Format:	Preprint
Publié:	2023
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

Benchmarks for Parity Games (extended version)
par: Keiren, Jeroen J. A.
Publié: (2014)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Corrections to A Menagerie of Timed Automata
par: Keiren, Jeroen J. A., et autres
Publié: (2016)

On the Expressivity of Typed Concurrent Calculi
par: Paulus, Joseph William Neal
Publié: (2024)

Tutorial: Designing Distributed Software in mCRL2
par: Groote, Jan Friso, et autres
Publié: (2021)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
par: Stramaglia, Anna, et autres
Publié: (2025)

Local Intuitionistic Modal Logics and Their Calculi
par: Balbiani, Philippe, et autres
Publié: (2024)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
par: Keiren, Jeroen J. A., et autres
Publié: (2013)

Stuttering Equivalence for Parity Games
par: Cranen, Sjoerd, et autres
Publié: (2011)

Structural Analysis of Boolean Equation Systems
par: Keiren, Jeroen, et autres
Publié: (2010)

Lax Modal Lambda Calculi
par: Valliappan, Nachiappan
Publié: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Deadlock in packet switching networks
par: Stramaglia, Anna, et autres
Publié: (2021)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
par: Jansen, David N., et autres
Publié: (2019)

Fair Mutual Exclusion for N Processes (extended version)
par: Hafidi, Yousra, et autres
Publié: (2021)

Forcing, Transition Algebras, and Calculi
par: Go, Hashimoto, et autres
Publié: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
par: Lyon, Tim S., et autres
Publié: (2023)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
par: Lyon, Tim S.
Publié: (2024)

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

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
par: Nishimura, Yuki
Publié: (2022)

An Expressive Coalgebraic Modal Logic for Cellular Automata
par: Basold, Henning, et autres
Publié: (2025)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
par: Litak, Tadeusz, et autres
Publié: (2025)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
par: Nakamura, Yoshiki
Publié: (2023)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
par: Imaz, Gonzalo E.
Publié: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
par: Alrabbaa, Christian, et autres
Publié: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
par: Heuvel, Bas van den, et autres
Publié: (2024)

Hypersequent Calculi Have Ackermannian Complexity
par: Balasubramanian, A. R., et autres
Publié: (2026)

Adding Negation to Lambda Mu
par: van Bakel, Steffen
Publié: (2021)

Twist Sequent Calculi for S4 and its Neighbors
par: Kamide, Norihiro
Publié: (2024)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
par: Gao, Dichuan, et autres
Publié: (2026)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

Modal Fragments
par: Bezhanishvili, Nick, et autres
Publié: (2026)

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

Dependence and Independence for Reversible Process Calculi
par: Aubert, Clément, et autres
Publié: (2024)