Tools and Techniques in Modal Logic (Studies in Logic and the Foundations of Mathematics)
Tools and Techniques in Modal Logic (Studies in Logic and the Foundations of Mathematics)
Editorial Reviews
Review
....As a whole, the book deserves attention from specialists in the field....The author has succeeded in showing that the use of mathematical (algebraic and topological) tools provides an excellent means for deeper understanding of the theory.
Bulletin of the Symbolic Logic
Book Description
This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.
Tools and Techniques in Modal Logic (Studies in Logic and the Foundations of Mathematics)
Tools and Techniques in Modal Logic (Studies in Logic and the Foundations of Mathematics),M. Kracht,North Holland,0444500553,Applied,General,Logic,Mathematical And Symbolic Logic,Mathematics,Modality (Logic),Philosophy Of Mathematics,Reference,Science/Mathematics,Algebra,Mathematical logic,Mathematics / Applied
Books Review:
- Vector and Tensor Analysis (Pure and Applied Mathematics (Marcel Dekker))
- A Beginner's Guide To Mathematica
- Accuracy and Stability of Numerical Algorithms
- A Course in Model Theory : An Introduction to Contemporary Mathematical Logic
- Advanced Topics in Computational Partial Differential Equations
- All You Wanted to Know About Mathematics but Were Afraid to Ask: Volume 2 : Mathematics for Science Students (All You Wanted to Know about Mathematics But Were Afraid to Ask)
- A Mathematical Bridge: An Intuitive Journey in Higher Mathematics
- Analysis and Probability : Wavelets, Signals, Fractals (Graduate Texts in Mathematics)
- An Introduction to Game-Theoretic Modelling (Student Mathematical Library, Vol. 11) (Student Mathematical Library, V. 11)
- Applied Calculus with Microsoft Excel
Books Review
Recommended Books
- Rubber: Fun, Fashion, Fetish
- Understanding Financial Derivatives: How to Protect Your Investments
- Star Trek: Action!
- The Professional Service Firm50
- Soil Classification: A Global Desk Reference
- Plasmodesmata
- Perceiving Talking Faces: From Speech Perception to a Behavioral Principle
- The Diary of Samuel Pepys, Vol. 5: 1664
- The Long Night of Centauri Prime
- The Closet of the Eminently Learned Sir Kenelme Digbie, Kt., Opened 1669
- The Gardener's Companion
- The Fertility Question
- The Campaign Manager: Running and Winning Local Elections
- Programmed Alternative Reading of the Genetic Code
- Talking So People Will Listen