Dynamic term-modal logic

Research output: Contribution to journalArticleAcademic

231 Downloads (Pure)


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.

Cite this