Zeinab Bakhtiarinoodeh

  • Citations Per Year
Learn More
The Logic of Epistemic Actions and Knowledge (EAK) has been introduced by Baltag, Moss and Solecki [1] as a framework for reasoning about knowledge in a dynamic setting. It is thus a language expansion of (classical) modal logic having, besides the usual modal operators that represent knowledge and beliefs of agents, dynamic operators used to represent the(More)
  • 1