Graduate studies at Western
Journal of Applied Non-Classical Logics 17 (2):231-253 (2007)
|Abstract||In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we also study public substitution operators. We prove many of the results regarding expressivity and completeness using so-called reduction axioms. We develop a general method for using reduction axioms and apply it to the logics at hand|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Jan Plaza (2007). Logics of Public Communications. Synthese 158 (2):165 - 179.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Johan van Benthem, Jelle Gerbrandy & Barteld Kooi (2009). Dynamic Update with Probabilities. Studia Logica 93 (1):67-96.
Added to index2010-07-26
Total downloads3 ( #214,631 of 754,397 )
Recent downloads (6 months)1 ( #63,000 of 754,397 )
How can I increase my downloads?