Cover of First Steps in Modal Logic by Popkorn, Sally, ISBN 9780521057936
Combinatorics

First Steps in Modal Logic

1ST STEPS IN MODAL LOGIC

Contributor(s): Author Format: Paperback

Paperback Β· ISBN 9780521057936

β‚Ή7,521

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9780521057936
Subtitle 1ST STEPS IN MODAL LOGIC
Publisher Cambridge University Press
Publication date May 2008
Language English
MRP Β£53.00 GBP
Page count 332
Item weight 108 g

This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.