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 :-(

First Steps in Modal Logic

Name: First Steps in Modal Logic
Brand: Cambridge University Press
SKU: 02020165
Price: 73.95 EUR
Availability: InStock
Author: Sally Popkorn
ISBN: 9780521057936

Sally Popkorn

Language

English

Book Paperback

Libristo code: 02020165

Publishers Cambridge University Press, January 2008

This is a first course in propositional modal logic, suitable for mathematicians, computer scientist... Full description

Libristo code: 02020165

179 b

73.95 €

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Los Estados Del Río De La Plata: Su Industria Y Su Comercio Luis Vicente Varela

Paperback

21.18 €

Trans-Amerika Tom McNab

Paperback

13.51 €

LISTOS PARA EL COLELIBRO DE JUEGOS +5 BALLON

Book

5.34 €

Germinie Lacerteux Edmond de Goncourt

Hardback

20.47 €

La petite histoire du loup en Poitou Dumerchat Book

Paperback

13.51 €

Les enquetes de Monsieur Proust Leprince

Paperback

27.44 €

Mentalidad Resiliente Leticia Caballero

Hardback

20.88 €

Lidiando con la SOLEDAD: Aprenda a superar la soledad y nunca vuelva a sentirse solo(a) Claudio De Castro

Paperback

19.46 €

Leutnant Gustl / Fräulein Else. Fräulein Else Arthur Schnitzler

Paperback

2.82 €

Nuovo Contatto BOZZONE COSTA

Paperback

80.72 €

L'exorcisme et la possession demoniaque Marie D'Ange

Paperback

19.46 €

Seks, więź i terapia pary

Paperback

15.23 €

Religieuse - Diderot (Fiche de lecture) Sophie Lecomte

Paperback

13.51 €

Transnationale Karrieren Florian Kreutzer

Paperback

57.71 €

Mord im Hause des Herrn Franziska Steinhauer

Paperback

12.60 €

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.