Modal μ-calculus

Rarity: Common

The most frequent rarity: most Wikipedia articles become Commons.

Rarity follows how well known the article is: its views on the French and English Wikipedia over a year, and the number of languages it exists in.

At a glance

Class

Notion

Domain

Beliefs and thought

In collections

Nobody has pulled it yet.

What Wikipedia says

In theoretical computer science, the modal μ-calculus (Lμ, Lμ, or propositional mu-calculus, sometimes just μ-calculus, although this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding the least fixed point operator μ and the greatest fixed point operator ν, thus a fixed-point logic.

Excerpt from the Wikipedia article “Modal μ-calculus”, under the CC BY-SA 4.0 license. Read the article on Wikipedia