Arend Heyting Stichting

Information Dynamics in Intuitionistic Logic - Johan van Benthem

We wil discuss what intuition of information flow underlies Beth/Kripke models for intuitionistic logic, and how it relates to more recent logical approaches to information dynamics.


Johan van Benthem, 2009, The Information in Intuitionistic Logic, Synthese 167:2, 251–270.
Johan van Benthem, 2011, Logical Dynamics of Information and Interaction, Cambridge University Press, Cambridge.
Johan van Benthem, 2012, Implicit and Explicit Stances in Logic, invited lecture, Advances in Modal Logic, Copenhagen.