Title Statements
- Full title :Modal logic / Alexander Chagrov and Michael Zakharyaschev.
Edition Statements
- Publication Date:1997.
Publication Statements
- Publisher(s):Clarendon Press, Oxford University Press
- Place of Publication:Oxford
- Language:eng
- Publication Date:1997.
The Physical Object
- Description:xv, 605 pages : : illustrations ; : 24 cm.
Edition Identifiers
- ISBN:0198537794, 9780198537793
- oclc:ocm37239736
- LC Classification:QA9.46
- Dewey Decimal:160
Table of Contents
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. Finite approximability -- 12. Tabularity -- 13. Post completeness -- 14. Interpolation -- 15. The disjunction property and Hallden completeness -- 16. The decidability of logics -- 17. The decidability of logics' properties -- 18. Complexity problems.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Files & Downloads
-
Modal logic -- (.djvu)
DJVU · 6.7 MB · updated -
Modal Logic -- (.djvu)
DJVU · 4.8 MB · updated -
Modal Logic -- (.djvu)
DJVU · 6.8 MB · updated
Rate & Review