The Stories of Logic and Information
Johan van Benthem, Maricarmen Martinez

Abstract:
Information occurs in logic in several major guises: 
information as range (epistemic logic), information 
as correlation (situation theory), and information
as code (proof theory). These representations go hand 
in hand with information-transforming processes, such 
as observation, learning, communication, or inferential 
elucidation, and computation. This text puts all these
strands into one coherent perspective, and it surveys 
all major uses of information in logic. It will be a 
chapter in the forthcoming "Handbook of the Philosophy 
of Information", edited by Pieter Adriaans & Johan van 
Benthem. Commentators are David Israel and John Perry.