Skip to search formSkip to main contentSkip to account menu

Modal μ-calculus

Known as: Modal μ calculus, Mu calculus, Μ calculus 
In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimes just μ-calculus, although this can have a more general meaning) is an… 
Wikipedia (opens in a new tab)

Related topics

Related topics

22 relations
CTL*DeadlockDexter KozenDynamic logic (modal logic)

Broader (1)

Model checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modal μ-Calculus with Atoms ∗
We introduce an extension of modal μ-calculus to sets with atoms and study its basic properties. Model checking is decidable on… 
Highly Cited
2007
Highly Cited
2007
On Context-Specific Substitutability of Web Services
Web service substitution refers to the problem of identifying a service that can replace another service in the context of a… 
2006
2006
A First-Order Extension of Modal μ- calculus
Modal μ-calculus is a modal logic with fixed-point operators and well-known in mathematics and computer scince. For example, many… 
2005
2005
A decidable class of problems for control under partial observation
Highly Cited
2004
Highly Cited
2004
The existence of finite abstractions for branching time model checking
Abstraction is often essential to verify a program with model checking. Typically, a concrete source program with an infinite (or… 
2004
2004
A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy
The μ-calculus model-checking problem has been of great interest in the context of concurrent programs. Beyond the need to use… 
Highly Cited
1998
Highly Cited
1998
On the Relationship Between BDI Logics and Standard Logics of Concurrency
The behavior of an agent is mainly governed by the specific way in which it handles the rational balance between information and… 
1996
1996
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
This paper presents a prefixed tableaux calculus for Propositional Dynamic Logic with Converse based on a combination of… 
1994
1994
On the parallel complexity of model checking in the modal mu-calculus
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems… 
1994
1994
Modal Parameter Estimation: A Unified Matrix Polynomial Approach
As many different modal parameter estimation algorithms have evolved over the past twenty years, the ability to view all… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)