Heifetz, Aviad Meier, Martin Schipper, Burkhard C.
Year of Publication:
SFB/TR 15 Discussion Paper 60
Heifetz, Meier and Schipper (2005) introduced a generalized state-space model that allows for non-trivial unawareness among several individuals and strong properties of knowledge. We show that this generalized state-space model arises naturally if states consist of maximally consistent sets of formulas in an appropriate logical formulation.