Basic modal formulas-Basic Hennessy-Milner logic
Introduction MOOC requirements by modal formulas
()
Hennessy-Milner logic
()
Identities for HM-logic
()
Dualities
()
Book exercises
Basic modal formulas-The modal mu-calculus
Fixed point operators
()
Regular formulas
()
Book exercises
Advanced modal formulas-Extensions to modal formulas
Data in modal formulas
()
Alternating fixed points
()
Peterson's algorithm revisited
()
Book exercises
Advanced modal formulas-Boolean Equation Systems
Translation to a Boolean Equation System (BES)
()
Solving a Boolean Equation System
()