التحقق من النماذج, المنطق, علوم الحاسوب, نظرية الحوسبةحساب التفاضل والتكامل المودي (Modal μ-calculus)