Modal Logic

Nonfiction, Science & Nature, Mathematics, Computers, Programming, Programming Languages, General Computing
Cover of the book Modal Logic by Patrick Blackburn, Maarten de Rijke, Yde Venema, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Patrick Blackburn, Maarten de Rijke, Yde Venema ISBN: 9781316099070
Publisher: Cambridge University Press Publication: August 22, 2002
Imprint: Cambridge University Press Language: English
Author: Patrick Blackburn, Maarten de Rijke, Yde Venema
ISBN: 9781316099070
Publisher: Cambridge University Press
Publication: August 22, 2002
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book A Commentary on the Paris Principles on National Human Rights Institutions by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Foreign Affairs and the EU Constitution by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Ted Hughes in Context by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Arguments in Syntax and Semantics by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Elementary Differential Geometry by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Sleep and its Disorders in Children and Adolescents with a Neurodevelopmental Disorder by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book The Cambridge World History: Volume 3, Early Cities in Comparative Perspective, 4000 BCE–1200 CE by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Environmental Histories of the First World War by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Interpreting Averroes by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book China and Maritime Europe, 1500–1800 by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Short Introduction to Corporate Finance by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Creating the American Century by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Electronic Music by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Separation of Molecules, Macromolecules and Particles by Patrick Blackburn, Maarten de Rijke, Yde Venema
Cover of the book Cyber Warfare and the Laws of War by Patrick Blackburn, Maarten de Rijke, Yde Venema
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy