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...

We study belief change branching-time structures. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an...

The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t , contains a normal belief operator B_t and a non-normal information operator I_t which is analogous to the ‘only knowing’ operator discussed in the...

Despite a lot of attention gained by the Resource-Event-Agent (REA) framework among researchers in enterprise modeling, it still lacks comprehensive formal description. Most of the formalization approaches to REA use only UML or other graphical representation. This paper aims to define REA...

We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some well-known theorems in the area of...

Johan van Benthem has highlighted in his work that many questions arising in the analysis of strategic interaction call for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that they contribute to clarifying some of the underlying...

This paper proves the Li (2009) [13] unawareness structure equivalent to the single-agent propositionally generated logic of awareness of Fagin and Halpern (1988) [4]. For any model of one type one can construct a model of the other type describing the same belief and awareness. Li starts from...

We discuss the issues that arise in modeling the notion of common belief of rationality in epistemic models of dynamic games, in particular at the level of interpretation of strategies. A strategy in a dynamic game is defined as a function that associates with every information set a choice at...