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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We introduce an extension of modal μ-calculus to sets with atoms and study its basic properties. Model checking is decidable on… (More)
Is this relevant?
2017
2017
The topics of this thesis are the modal μ-calculus and parity games. The modal μ-calculus is a common logic for model-checking in… (More)
  • figure 3.1
  • figure 3.2
  • figure 3.4
  • figure 3.6
  • figure 4.1
Is this relevant?
2017
2017
For a regular cardinal κ, a formula of the modal μ-calculus is κ-continuous in a variable x if, on every model, its… (More)
  • figure 1
Is this relevant?
2012
2012
The probabilistic modal μ-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
The modal μ-calculus extends basic modal logic with secondorder quantification in terms of arbitrarily nested fixpoint operators… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2009
2009
We show that the modal μ-calculus over GL collapses to the modal fragment by showing that the fixpoint formula is reached after… (More)
Is this relevant?
2006
2006
Modal μ-calculus is a modal logic with fixed-point operators and well-known in mathematics and computer scince. For example, many… (More)
Is this relevant?
1997
1997
We start from a basic and fruitful idea in current work on the formal analysis and verification of hybrid and real-time systems… (More)
Is this relevant?
1995
1995
In this paper we present a novel approach for solving Boolean equation systems with nested minimal and maximal fixpoints. The… (More)
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1993
1993
Abst rac t . We consider the modal p-calculus due to Kozen, which is a finitary modal logic with least and greatest fixed points… (More)
Is this relevant?