1. J. van Benthem, J. van Eijck, and B. Kooi. Logics of communication and change. Information and Computation, 204:1620--1662, 2006.
   Keywords: situation calculus, dynamic logic, honours reading, epistemic logic, propositional dynamic logic. [bibtex-entry]



2. Johan van Benthem. Extensive Games as Process Models. Journal of Logic, Language and Information, 11(3):289--313, 2002.
   Keywords: game theory, model theory, algorithms, honours reading. [bibtex-entry]



3. Johan van Benthem. Games in Dynamic-Epistemic Logic. Bulletin of Economic Research, 53(4):219--48, 2001.
   Keywords: epistemic logic, game theory, algorithms, honours reading. [abstract] [bibtex-entry]



4. Johan van Benthem. Correspondence theory. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



5. Johan van Benthem. Correspondence Theory. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 4, pages 162--167. D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, Dordrecht ; Boston Hingham, MA, 1983.
   Note: Edited by D. Gabbay and F. Guenthner. Includes bibliographies and indexes. v. 1. Elements of classical logic -- v. 2. Extensions of classical logic -- v. 3. Alternatives in classical logic -- v. 4. Topics in the philosophy of language.
   Keywords: modal logic, epistemic logic, honours reading. [bibtex-entry]

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.