Dynamic term-modal logic
Barteld P. Kooi, Johan van Benthem, Shenghong Ju, Frank Veltman · 2007
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. Using constructs from dynamic logic one can express many interesting concepts. First-order update models are developed and added to the language as modalities.