Modal Logic (Cambridge Tracts in Theoretical Computer Science)




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.

Download:

http://depositfiles.com/files/5582232

[Fast Download] Modal Logic (Cambridge Tracts in Theoretical Computer Science)


Related eBooks:
Analytics and Tech Mining for Engineering Managers
Open Data Exposed (Information Technology and Law Series Book 30)
Mastering SolidWorks
QuickBooks 2019 For Dummies (For Dummies (Computer/Tech))
Programming Arduino Next Steps: Going Further with Sketches, 2nd Edition
The Samsung Galaxy Guidebook 2018
A New Perspective on Nonmonotonic Logics
Machine Learning with Spark
Data-Driven Prediction for Industrial Processes and Their Applications
The RSpec Book: Behaviour Driven Development with Rspec, Cucumber, and Friends
Advances in Wireless Sensors and Sensor Networks (Lecture Notes in Electrical Engineering)
Enrico Motta, Nigel Shadbolt, Arthur Stutt, Nick Gibbins "Engineering Knowledge in the Age of the Se
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.