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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

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

162 b

66.39 € VAT included

In stock at our supplier Shipping in 10-18 days

Delivery to Austria

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.99 €

Trans-Amerika Tom McNab

Paperback

16.00 €

LISTOS PARA EL COLELIBRO DE JUEGOS +5 BALLON

Book

4.99 €

A rózsák romjai K. F. Breene

Paperback

10.89 €

Germinie Lacerteux Edmond de Goncourt

Hardback

19.19 €

La petite histoire du loup en Poitou Dumerchat Book

Paperback

10.79 €

Les enquetes de Monsieur Proust Leprince

Paperback

22.09 €

Mentalidad Resiliente Leticia Caballero

Hardback

18.09 €

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

Paperback

20.29 €

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

Paperback

2.59 €

Nuovo Contatto BOZZONE COSTA

Paperback

83.89 €

L'exorcisme et la possession demoniaque Marie D'Ange

Paperback

15.59 €

Religieuse - Diderot (Fiche de lecture) Sophie Lecomte

Paperback

12.59 €

Transnationale Karrieren Florian Kreutzer

Paperback

59.99 €

Mord im Hause des Herrn Franziska Steinhauer

Paperback

14.00 €

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.