Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03452855n
Noun Concept
Categories: Modal logic, Model checking
EN
modal μ-calculus  Lμ  Modal m calculus  modal mu-calculus  Modal mu calculus
EN
In theoretical computer science, the modal μ-calculus is an extension of propositional modal logic by adding the least fixed point operator μ and the greatest fixed point operator ν, thus a fixed-point logic. Wikipedia
Definitions
Relations
Sources
EN
In theoretical computer science, the modal μ-calculus is an extension of propositional modal logic by adding the least fixed point operator μ and the greatest fixed point operator ν, thus a fixed-point logic. Wikipedia
A common temporal logic used by formal verification methods such as model checking Wikipedia Disambiguation
extension of propositional modal logic by adding the least fixed point operator μ Wikidata
IS A
logical system
Wikipedia
EN
modal μ-calculus
Wikidata
EN
modal μ-calculus
Wikipedia Redirections
EN
Lμ, Modal m calculus, modal mu-calculus, Modal mu calculus, Modal μ calculus, Mu-calculus, Mu calculus, μ-calculus, Μ calculus
Wikidata Alias
EN
mu-calculus, μ-calculus

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License