Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 173-185 |
| 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 |
| Volume | 8 |
| Publication status | Published - 2008 |