Local Information and Adaptive Consequence

Published in Logique et Analyse 49(196) (2006): 461–488.

Special issue on Logic and the Philosophy of Information.

Abstract. In this paper we aim at providing a formal description of what it means to be in a local or partial information-state. Starting from the notion of locality in a relational structure, we define so-called adaptive generated-submodels. The latter are then shown to yield an adaptive consequence relation such that the derivability of []p is naturally interpreted as a core property of being in a state in which one holds the information that p.

download