Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Description

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.



http://rapidshare.com/files/117469408/tjhtthh.rar.html


$$ Buy "Modal Logic (Cambridge Tracts in Theoretical Computer Science)" on Amazon $$

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Modal Logic (Cambridge Tracts in Theoretical Computer Science)" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1717
2. Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science)
3. Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science)
4. Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science)
5. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
6. Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
7. Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
8. Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
9. Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
10. Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings (Lecture Notes in Computer Science)
11. The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic (Lecture Notes in Computer Science )
12. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I (Lecture Notes in Computer Science)
13. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II (Lecture Notes in Computer Science)
14. C by Example (Cambridge Computer Science Texts)
15. Meaning And Necessity - A Study In Semantics And Modal logic
16. Handbook of Theoretical Computer Science : Algorithms and Complexity