Local information and adaptive consequence

Patrick Allo


In this paper we provide 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 logic wherein the derivability of []p is naturally interpreted as a core property of being in a state in which one holds the information that p.

Full Text:



  • There are currently no refbacks.