Modal logic. Cambridge tracts in theoretical computer science (2001)

by P Blackburn, M de Rijke, Y Venema