Assertion: propositional logic | /r/HasProperty | so-called \(\mu\)-calculus
Facets:
Source sentences:
text: fixpoint logics, with as typical example the so-called \(\mu\)-calculus, dating back to Scott and de Bakker (1969), and further developed in Hitchcock and Park 1972, Park 1976, de Bakker 1980, and Meyer 1985.