abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also terms in the sense of first-order logic. Consequently one can quantify over epistemic modalities. Us- ing constructs from dynamic logic one can express many interesting concepts. First-order update models are developed and added to the language as modalities.
|Number of pages||13|
|Journal||Van Benthem, J., Ju, S. and Veltman, F. (eds.). A meeting of the minds. Proceedings of the workshop on Logic, Rationality and Interaction, Beijing , 2007 Texts in Computing Computer Science 8. pp. 173-185 College publications , London|
|Publication status||Published - 2008|