Modal μ-calculus
- Wikidata
- https://www.wikidata.org/wiki/Q5275729
- OpenAlex ID
- https://openalex.org/C173125200 (API record)
- OpenAlex Description
- extension of propositional modal logic by adding the least fixed point operator μ
- OpenAlex Level [?]
- 5
Broader Concepts
Narrower Concepts
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.