This website provides information about the book Modal Logic for Open Minds by Johan van Benthem. CSLI publications has a website for the book from where it can be ordered.

Table of Contents

Introduction A whirlwind history, and changes in perspective Core Concepts Basic language and semantics Expressive power and invariance Validity and decidability Axioms, proofs, and completeness Computation and complexity Basic Theory Classical translation and expressive power Increasing deductive power: the landscape of modal logics What axioms say: frame correspondence Descriptive power: extended modal languages ‘The next level’: modal predicate logic Selected applications Epistemic logic Doxastic and conditional logic Dynamic logic of action

Dynamic logic of information Preference and deontic logic Modal logic and games The structure and flow of time Modal patterns in space Provability logic Modal patterns in space Recent theoretical themes Fixed-points, computation, and equilibrium            Issues in information dynamics System combination and undecidability Abstract model theory Proof and incompleteness Coda Re-examining first-order logic Appendices A crash course in first-order logic Answers to selected exercises