Hart, Sergiu; Heifetz, Aviad; Samet, Dov - EconWPA - 1994
knowledge operator which may be called `knowing that'. The difference between these operators is simple. Saying that an agent … relative to some interactive knowledge of a fixed event, (2) the space has the cardinality of the continuum. This result …