Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Modal Logic

Name: Modal Logic
Brand: Cambridge University Press
SKU: 04378522
Price: 49383 HUF
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

329 b

49 383 Ft

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

11 768 Ft

Proof-theoretic Semantics Francez

Paperback

10 564 Ft

Where Mathematics Come From Rafael Nunez

Paperback

13 284 Ft

Introduction to Substructural Logics Greg Restall

Paperback

24 436 Ft

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.