Now available in paperback, this is a popular graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. The book is both for novices and for more experienced readers, with two distinct tracks through the …
by Blackburn, Patrick, Rijke, Maarten de, Venema, Yde
fromCambridge Tracts in Theorical Computer Science
by Blackburn, Patrick, Rijke, Maarten de, Venema, Yde
fromCambridge Tracts in Theorical Computer Science
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 linguistics have since realised its worth. The book is for novices and for more experienced…
