modal μ-calculus

GPTKB entity

Statements (29)
Predicate Object
gptkbp:instanceOf gptkb:logic
formal semantics
gptkbp:application specification of properties in computer science
verification of concurrent systems
gptkbp:complexity EXPTIME-complete
gptkbp:decidability decidable
gptkbp:describes properties of transition systems
gptkbp:expressivePower greater than CTL
greater than CTL*
greater than LTL
gptkbp:extendsTo gptkb:logic
gptkbp:field gptkb:logic
theoretical computer science
gptkbp:hasSyntax modal operators
propositional variables
fixed point operators
https://www.w3.org/2000/01/rdf-schema#label modal μ-calculus
gptkbp:introduced gptkb:Dexter_Kozen
gptkbp:introducedIn 1983
gptkbp:operator greatest fixed point
least fixed point
gptkbp:relatedTo gptkb:logic
automata theory
process algebra
gptkbp:semantics gptkb:Kripke_structures
gptkbp:usedIn model checking
gptkbp:bfsParent gptkb:Dexter_Kozen
gptkb:alternation-free_μ-calculus
gptkbp:bfsLayer 6