Opening book details…
Can I read Modal Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 53) on EtoBox?
Modal Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 53) by Blackburn P., de Rijke M., Venema Y. is a nonfiction available to read on EtoBox.
What is Modal Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 53) about?
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.
Who reads Modal Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 53)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Blackburn P., de Rijke M., Venema Y.
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2002
- Language
- EN
- ISBN
- 9780521802000
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Programming
- Rating
- 4.31 / 5 (15 ratings)
- Updated
- 2026-03-14
Other editions & translations
More by Blackburn P., de Rijke M., Venema Y.
Browse all works by Blackburn P., de Rijke M., Venema Y.
Similar books
- Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 41) — J.-J. Ch. Meyer; John-Jules Ch Meyer; W. van der Hoek (1995)
- Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19) — Manzano, María. (2005)
- Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) — Troelstra, A. S. (Anne Sjerp); Schwichtenberg, Helmut, 1942- (1996)
- Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) — Steven Vickers (1989)
- Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35) — L M G Feijs; H B M Jonkers; Cambridge University Press (1992)
- Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57) — Pitts, A. M. (Andrew M.) (2013)