剧情简介：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 readers, with two distinct tracks clearly signposted at the start of each chapter. The development i...(展开全部)
作者：Patrick Blackburn
出版社：Cambridge University Press
ISBN：9780521527149
