Possible worlds semantics based on observation and communication

摘要: We analyze a recent trend in epistemic logic which consists studying construction of knowledge from the agents’ observational abilities. It is based on intuition that an agent’s comes three possible sources: her observations, communication with other agents, and inference. The approaches mainly focus former two suppose object observations are propositional variables agents learn public announcements. This allows to model more compact intuitive way than Hintikka’s semantics. However, semantics one can find literature come some counter-intuitive validities such as common visibilities or operator distributing over disjunctions. propose solution each these issues illustrate them well-known toy examples logic.