import SymbolicModalLogic.MuCalculus
import SymbolicModalLogic.Instances.Relational