Dynamic term-modal logic

OnderzoeksoutputAcademic

201 Downloads (Pure)

Samenvatting

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.

Citeer dit