Modal μ-calculus
In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimes just μ-calculus, although this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint operator , thus a fixed-point logic.
Wikipage disambiguates
sameAs
primaryTopic
Modal μ-calculus
In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimes just μ-calculus, although this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint operator , thus a fixed-point logic.
has abstract
En logique mathématique et en ...... tion du plus petit point fixe.
@fr
In theoretical computer scienc ...... cularly infinite parity games.
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
740,295,457
subject
comment
En logique mathématique et en ...... tion du plus petit point fixe.
@fr
In theoretical computer scienc ...... or , thus a fixed-point logic.
@en
label
Modal μ-calculus
@en
Mu-calcul
@fr