Graduate studies at Western
Journal of Philosophical Logic 40 (4):445-472 (2011)
|Abstract||We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden (J Log Comput 6(3):465–479, 1996 ) to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza ( 1989 ) with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable|
|Keywords||Epistemic logic Deontic logic Public announcements Modal logic Axiomatisation Decidability Permission Obligation|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Andreas Herzig, Tiago de Lima & Emiliano Lorini (2009). On the Dynamics of Institutional Agreements. Synthese 171 (2):321-355.
Rosja Mastop (2011). Norm Performatives and Deontic Logic. European Journal of Analytic Philosophy 7 (2):83-105.
Fenrong Liu & Yanjing Wang (2013). Reasoning About Agent Types and the Hardest Logic Puzzle Ever. Minds and Machines 23 (1):123-161.
David Makinson & Leendert van der Torre (2003). Permission From an Input/Output Perspective. Journal of Philosophical Logic 32 (4):391-416.
Joshua Sack (2009). Extending Probabilistic Dynamic Epistemic Logic. Synthese 169 (2):241 - 257.
Hans van Ditmarsch (2003). The Russian Cards Problem. Studia Logica 75 (1):31-62.
Hans Van Ditmarsch (2003). The Russian Cards Problem. Studia Logica 75 (1):31 - 62.
Alexandru Baltag & Lawrence S. Moss (2004). Logics for Epistemic Programs. Synthese 139 (2):165 - 224.
Added to index2011-07-21
Total downloads10 ( #114,476 of 739,398 )
Recent downloads (6 months)1 ( #61,680 of 739,398 )
How can I increase my downloads?