Algebraic Tools for Modal Logic by Mai Gehrke, Yde Venema

Algebraic Tools for Modal Logic

Algebraic Tools for Modal Logic by Mai Gehrke, Yde Venema
Publisher: ESSLLI 2001
Number of pages: 109
Apart from giving a general introduction to the fundamental ideas and methods of applying algebra in logic, the purpose of the course is to present recent developments from algebra as well as modal logic, in an integrated format. Our intention is to illuminate and generalize existing results concerning the issues of completeness, canonicity and correspondence for Kripke style semantics for modal and generalized modal logics.
Mathematics Pure Mathematics Logic Modal Logic



More Free E-Books For Logic


Similar Books For Logic

1. Hack, Hack, Who's There? A Gentle Introduction to Model Theory by David Reid
2. Modal Logic of Strict Necessity and Possibility by Evgeni Latinov
3. Sets, Groups and Knots by Curtis T. McMullen
4. Descriptive Set Theory by David Marker
5. Handbook of Modal Logic by Patrick Blackburn, Johan van Benthem, Frank Wolter
6. Axiomatic Set Theory by Michael Meyling
7. Axiomatic Set Theory I by A. C. Walczak-Typke
8. Coalgebras and Modal Logic by Alexander Kurz
9. Basic Concepts in Modal Logic by Edward N. Zalta
10. Introduction to Proof Theory by Gilles Dowek
11. Algebraic Tools for Modal Logic by Mai Gehrke, Yde Venema
12. Metalogic by Jan Wolenski
13. Isabelle/HOL: A Proof Assistant for Higher-Order Logic by T. Nipkow, L.C. Paulson, M. Wenzel
14. Notes on Set Theory by Michael Makkai
15. Proof, Sets, and Logic by M. Randall Holmes
16. Elementary Set Theory with a Universal Set by Randall Holmes
17. Set Theory by Gary Hardegree
18. Abstract Set Theory by Thoralf A. Skolem
19. Introduction to Modal Logic by Gary Hardegree
20. Model-Theoretic Logics by J. Barwise, S. Feferman
21. An Introduction to Good Old Fashioned Model Theory by Harold Simmons
22. Proof Theory and Philosophy by Greg Restall
23. Model Theory by C. Ward Henson
24. The Continuum and Other Types of Serial Order by Edward V. Huntington
25. Logic and Proof by Lawrence C Paulson
26. Proofs and Types by J. Girard, Y. Lafont, P. Taylor
27. Descriptive Set Theory by Yiannis N. Moschovakis
28. An Introduction to Set Theory by William A. R. Weiss
29. Fundamentals of Model Theory by William Weiss, Cherie D'Mello
30. Mathematics of Modality by Robert Goldblatt
31. Logic for Computer Science by Jean H. Gallier
32. Language, Proof and Logic by Jon Barwise, John Etchemendy
33. Model Theory, Algebra and Geometry by D. Haskell, A. Pillay, C. Steinhorn
34. Sets, Relations, Functions by Ivo Düntsch, Günther Gediga



Categories