Graduate studies at Western
|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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Krister Segerberg (2012). DΔL: A Dynamic Deontic Logic. Synthese 185 (S1):1-17.
Maarten de Rijke (1998). A System of Dynamic Modal Logic. Journal of Philosophical Logic 27 (2):109-142.
Johan van Benthem (2007). Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17 (2):129-155.
Joshua Sack (2009). Extending Probabilistic Dynamic Epistemic Logic. Synthese 169 (2):241 - 257.
David Fernández-Duque (2011). Dynamic Topological Logic Interpreted Over Minimal Systems. Journal of Philosophical Logic 40 (6):767-804.
Nina Gierasimczuk (2009). Bridging Learning Theory and Dynamic Epistemic Logic. Synthese 169 (2):371-384.
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Added to index2010-07-26
Total downloads4 ( #189,291 of 739,399 )
Recent downloads (6 months)1 ( #61,680 of 739,399 )
How can I increase my downloads?