In this chapter we introduce the ‘action model’ approach to describing epistemic actions. This chapter does not presume familiarity with the previous chapter, that was also on epistemic actions (see the Preface for motivation). In the current section we informally introduce action models. Action models are semantic objects that can also be seen as epistemic actions.
KeywordsAction Model Epistemic State Action Point Epistemic Logic Public Announcement
Unable to display preview. Download preview PDF.