Cover Image

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Spronck, Myrthe, Luttik, Bas, Willemse, Tim
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
by: van Glabbeek, Rob, et al.
Published: (2026)

Just Verification of Mutual Exclusion Algorithms
by: van Glabbeek, Rob, et al.
Published: (2025)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
by: Stramaglia, Anna, et al.
Published: (2025)

Four Formal Models of IEEE 1394 Link Layer
by: Garavel, Hubert, et al.
Published: (2024)

The Queue Automaton Revisited
by: Baeten, Jos C. M., et al.
Published: (2025)

A Sequent Calculus For Trace Formula Implication
by: Heidler, Niklas, et al.
Published: (2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
by: Hausmann, Daniel, et al.
Published: (2025)

Characterising Modal Formulas with Examples
by: Cate, Balder ten, et al.
Published: (2023)

Nested-sequent Calculus for Modal Logic MB
by: Kawano, Tomoaki
Published: (2024)

Structural Analysis of Boolean Equation Systems
by: Keiren, Jeroen, et al.
Published: (2010)

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

Stuttering Equivalence for Parity Games
by: Cranen, Sjoerd, et al.
Published: (2011)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Halting Recurrent GNNs and the Graded $μ$-Calculus
by: Bollen, Jeroen, et al.
Published: (2025)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
by: Jung, Jean Christoph, et al.
Published: (2025)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
by: Lyon, Tim S., et al.
Published: (2026)

Complete and Terminating Tableau Calculus for Undirected Graph
by: Nishimura, Yuki, et al.
Published: (2024)

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
by: McPheat, Lachlan, et al.
Published: (2020)

Modal Separability of Fixpoint Formulae
by: Jung, Jean Christoph, et al.
Published: (2024)

The Flower Calculus
by: Donato, Pablo
Published: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

The Tensor-Plus Calculus
by: Chardonnet, Kostia, et al.
Published: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

Proofs as Execution Trees for the π-Calculus
by: Acclavio, Matteo, et al.
Published: (2024)

Groups and Inverse Semigroups in Lambda Calculus
by: Bucciarelli, Antonio, et al.
Published: (2026)

Quantitative Types for the Functional Machine Calculus
by: Heijltjes, Willem
Published: (2025)

Six Birds: Foundations of Emergence Calculus
by: Tsiokos, Ioannis
Published: (2026)

Modelling the Raft Distributed Consensus Protocol in mCRL2
by: Bora, Parth, et al.
Published: (2024)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Peano Arithmetic and $μ$MALL
by: Manighetti, Matteo, et al.
Published: (2023)

A Rewriting Theory for Quantum Lambda-Calculus
by: Faggian, Claudia, et al.
Published: (2024)

Substitution in the lambda Calculus and the role of the Curry School
by: Kamareddine, Fairouz
Published: (2024)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
by: van Ditmarsch, Hans, et al.
Published: (2025)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
by: Cecilia, Gabriele, et al.
Published: (2024)

The Functional Machine Calculus III: Choice (Early Announcement)
by: Heijltjes, Willem
Published: (2024)