Halpern, Joseph Y.; Rêgo, Leandro C. - In: Mathematical Social Sciences 65 (2013) 2, pp. 73-84
In earlier work (Halpern and Rêgo, 2009), we proposed a logic that extends the Logic of General Awareness of Fagin and Halpern (1988) by allowing quantification over primitive propositions. This makes it possible to express the fact that an agent knows that there are some facts of which he is...
