Book Search

Browse Books

Non-Book Items

Modal Logic

You are here: Computing & Internet > General Theory Of Computi... > Mathematical Theory Of Co...

Modal Logic

by Michael Zakharyaschev (Author)
by Alexander Chagrov (Author)

Hardback

ISBN: 9780198537793

Availability: This is a print on demand item.

Our Price: £122.00

RRP £122.00 , Save £0.00

0 customer(s) reviewed this product

Description
Reviews
Book Details
Contents

This text covers modal logic and should be of use to mathematical and philosophical logicians, and theoretical computer scientists at graduate and research level.

It is the only book presenting the theory of superintuitionistic logics.

ISBN	198537794
ISBN13	9780198537793
Publisher	Clarendon Press
Format	Hardback
Publication date	27/03/1997
Pages	620
Weight (grammes)	1066
Published in	United Kingdom
Height (mm)	234
Width (mm)	156

Introduction
1. Classical logic
2. Intuitionistic logic
3. Modal logics
4. From logics to classes of logics
5. Canonical models and filtration
6. Incompleteness
7. Algebraic semantics
8. Relational semantics
9. Canonical formulas
10. Kripke completeness
11. The finite approximability
12. Tabularity
13. Post completeness
14. Interpolation
15. The disjunction property and Hallden completeness
16. The decidability of logics
17. Admissibility and drivability of inference rules
18. The decidability of logics' properties
19. Complexity problems
Reference
Index