Posts
There are many modal logics, however, we fool around with Hennessy-Milner reason extended with repaired area operators and investigation , known as modal μ\mu-calculus, because this is more expressive modal logic offered . Keep in mind that the brand new conditionals to your study and operations provides some other notation, nevertheless they has essentially the same feeling.
