Get Free Shipping on orders over $0
First Steps in Modal Logic - No Information Available

First Steps in Modal Logic

By: No Information Available

Hardcover | 6 February 1995

At a Glance

Hardcover


RRP $191.95

$169.75

12%OFF

or 4 interest-free payments of $42.44 with

 or 

Ships in 15 to 25 business days

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided.
Industry Reviews
"This text should appeal to anyone with an interest in model logic...an attractive choice for self-study." J.M. Plotkin, Mathematical Reviews "...offers a distinctive viewpoint and is easy to learn from." D.V. Feldman, Choice

Other Editions and Formats

Paperback

Published: 15th May 2008

More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
Logic : A Very Short Introduction - Graham Priest

RRP $21.95

$16.99

23%
OFF
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Axiomatic Set Theory : An Introduction - George Tourlakis
The Book of Infinity - Joel David Hamkins

RRP $160.00

$120.99

24%
OFF
Studia Logica : A History of the Journal - Adam Trybus