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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A System of Dynamic Modal Logic.de Rijke Maarten - 1998 - Journal of Philosophical Logic 27 (2):109-142.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Dynamic Topological Logic Interpreted Over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Bridging Learning Theory and Dynamic Epistemic Logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
Added to index2010-07-26
Total downloads11 ( #402,380 of 2,168,526 )
Recent downloads (6 months)1 ( #346,757 of 2,168,526 )
How can I increase my downloads?