1. Home
  2. E-Book
  3. Mathematics of Modality

Mathematics of Modality by Robert Goldblatt

Mathematics of Modality

Mathematics of Modality by Robert Goldblatt
Mathematics of Modality by Robert Goldblatt
Publisher: CSLI Publications 1993
ISBN/ASIN: 1881526240
ISBN-13: 9781881526247
Number of pages: 288
Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements. This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic.
Mathematics Pure Mathematics Logic Modal Logic
Go To Read/Download Page
Home Page

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

Free E-Books For Mathematics
Free E-Books For Pure Mathematics
Free E-Books For Logic
Free E-Books For Modal Logic



Categories