Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Modal Logic

Name: Modal Logic
Brand: Cambridge University Press
SKU: 04378522
Price: 126.36 EUR
Availability: InStock
Author: Patrick Blackburn
ISBN: 9780521527149

Patrick Blackburn

Language

English

Book Paperback

Libristo code: 04378522

Publishers Cambridge University Press, August 2002

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer sci... Full description

Libristo code: 04378522

306 b

126.36 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Representation and Inference for Natural Language Patrick Blackburn

Paperback

32.34 €

Proof-theoretic Semantics Francez

Paperback

26.88 €

Where Mathematics Come From Rafael Nunez

Paperback

32.74 €

Introduction to Substructural Logics Greg Restall

Paperback

62.77 €

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 relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.