Cambridge Tracts in Theoretical Computer Science: Series Number 53: Modal Logic
Patrick Blackburn
€ 103.62
FREE Delivery in Ireland
Description for Cambridge Tracts in Theoretical Computer Science: Series Number 53: Modal Logic
Paperback. A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 578 pages, 20 b/w illus. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 227 x 152 x 28. Weight in Grams: 864. Series: Cambridge Tracts in Theoretical Computer Science. 578 pages, 20 b/w illus. A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. Cateogry: (P) Professional & Vocational. BIC Classification: UYA. Dimension: 227 x 152 x 28. Weight: 890. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V.
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 is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of ... Read more
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 is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of ... Read more
Product Details
Publisher
Cambridge University Press
Number of pages
578
Format
Paperback
Publication date
2002
Series
Cambridge Tracts in Theoretical Computer Science
Condition
New
Weight
868 g
Number of Pages
578
Place of Publication
Cambridge, United Kingdom
ISBN
9780521527149
SKU
V9780521527149
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-1
Reviews for Cambridge Tracts in Theoretical Computer Science: Series Number 53: Modal Logic
'This book is undoubtedly going to be the definitive book on modal logic for years to come.' M. Vardi, Rice University '... will take you from ground level to one of the best vista points on modal logic today. The authors are expert guides: they know the land from first-hand research experience, but they are committed to taking all newcomers ... Read more