English
Deutsch
Français
简体中文
繁體中文
Categories
Study
-- IT Certification
-- Mathematics
-- Physics
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Advances in Complex Function Theory (Lecture Notes in Mathematics) by W. E. Kirwan (Repost)
Matrix Mathematics - Theory, Facts, and Formulas, Second Edition
Mathematics Probability, Markov Chains, Queues, and Simulation - The Mathematical Basis of Performance Modeling
Algebraic Aspects of Cryptography (Algorithms and Computation in Mathematics) by Neal Koblitz (Repost)
Mathematics Mathematical Foundations of Computer Science 2004 [Repost]
Mathematics Mathematical Logic for Computer Science (3rd edition)
Spaces of Holomorphic Functions in the Unit Ball (Graduate Texts in Mathematics) by Kehe Zhu (Repost)
An Introduction to Ergodic Theory (Graduate Texts in Mathematics) by Peter Walters (Repost)
Mathematics Symmetry Theory in Molecular Physics with Mathematica: A new kind of tutorial book (Repost)
-Mathematics for the Physical Sciences- by Herbert S. Wilf
Mathematics for Elementary Teachers - A Conceptual Approach, 9 edition
Computer-Enabled Mathematics - Integrating Experiment and Theory in Teacher Education
How to Fold It - The Mathematics of Linkages, Origami and Polyhedra
Mathematics Engineering Analysis: Interactive Methods and Programs with FORTRAN, QuickBASIC, MATLAB, and Mathematica [Repost]
Mathematics Maverick Mathematician: The Life and Science of J.E. Moyal
African Mathematics: From Bones to Computers (repost)
Topology (Allyn and Bacon Series in Advanced Mathematics) by James Dugundji
Mathematics Fundamentals of Algebraic Modeling - An Introduction to Mathematical Modeling with Algebra and Statistics, 5 edition
Mathematics LMSST - 24 Lectures on Elliptic Curves (London Mathematical Society Student Texts) by J. W. S. Cassels
Useful Links
Mathematics Modal Logic (Oxford Logic Guides)
Posted on 2010-04-13
|  |
Author: Alexander Chagrov, Michael Zakharyaschev
Publisher: Oxford University Press, USA (1997) Binding: Hardcover, 624 pages pricer: $375.00 ISBN-10: 0198537794 editorialreviews For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Study Category Theory (Oxford Logic Guides) Category Theory (Oxford Logic Guides)Oxford University Press, USA (2006-07-03) | ISBN: 0198568614 | 272 Pages | 1 MB | PDFSeveral years ago I came across an on-line .pdf format of Awodey's manuscript while trying to find a text on Category ... |
 | Science/Engineering Studies in Logic and Practical Reasoning: Handbook of Modal Logic Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, "Studies in Logic and Practical Reasoning: Handbook of Modal Logic"Elsevier Science | 2006-12-11 | ISBN:0444516905 | 1260 pages | PDF | 7,8 MbThe Handbook of Modal Logic contains 20 ... |
 | Science/Engineering Cardinal Arithmetic (Oxford Logic Guides) Saharon Shelah, "Cardinal Arithmetic (Oxford Logic Guides)" Oxford University Press | 1994 | ISBN: 0198537859 | 520 pages | DJVU | 4,7 MB Is the continuum hypothesis still open? If we interpret it as finding the laws of cardinal arithmeti ... |
 | Study Computability and Randomness (Oxford Logic Guides) Computability and Randomness (Oxford Logic Guides)Oxford University Press, USA | ISBN: 0199230765 | 2009-01-29 | PDF | 420 pages | 2 Mb The interplay between computability and randomness has been an active area of research in recent years, ... |
 | Science/Engineering Interpolation and Definability: Modal and Intuitionistic Logic (Oxford Logic Guides) Interpolation and Definability: Modal and Intuitionistic Logic (Oxford Logic Guides)Oxford University Press, USA | ISBN: 0198511744 | 2005-07-28 | PDF | 522 pages | 4 Mb This monograph is on interpolation and definability, a notion central ... |
 | Science/Engineering Recursion Theory for Metamathematics (Oxford Logic Guides) Raymond M. Smullyan, "Recursion Theory for Metamathematics (Oxford Logic Guides)"Publisher: Oxford University Press, USA | 1993-01-28 | 180 Pages | ISBN: 019508232X | PDF | 6,8 MBThis work is a sequel to the author's Godel's Incompleteness ... |
Comments (0)
