Modal logic. - Cambridge University Press, 2002. - ( Cambridge Tracts in Theoretical Computer Science ; 53).