by Patrick Blackburn, Maarten de Rijke, Yde Venema
"This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguist…