Merging Observation and Access in Dynamic Logic
| Abstract | Rational agents base their actions on information from observation, inference, introspection, or other sources. But this information comes in different kinds, and it is usually handled by different logical mechanisms. We discuss how to integrate external ‘updating information’ and internal ‘elucidating information’ into one system of dynamic epistemic logic, by distinguishing two basic informational actions: ‘bare seeing’ versus ‘conscious realization’. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
|
| Through your library | Only published papers are available at libraries |
J. F. A. K. van Benthem (2011). Logical Dynamics of Information and Interaction. Cambridge University Press.
Fenrong Liu (2009). Diversity of Agents and Their Interaction. Journal of Logic, Language and Information 18 (1).
Johan Van Benthem (2009). The Information in Intuitionistic Logic. Synthese 167 (2):251 - 270.
Tomohiro Hoshi (forthcoming). Merging Del and Etl. Journal of Logic, Language and Information.
Johan van Benthem, Jelle Gerbrandy & Barteld Kooi (2009). Dynamic Update with Probabilities. Studia Logica 93 (1).
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Brigitte Penther (1994). A Dynamic Logic of Action. Journal of Logic, Language and Information 3 (3):169-210.
A. Baltag & S. Smets (2008). A Dynamic-Logical Perspective on Quantum Behavior. Studia Logica 89 (2):187 - 211.
Andreas Herzig & Emiliano Lorini (2010). A Dynamic Logic of Agency I: Stit, Capabilities and Powers. Journal of Logic, Language and Information 19 (1).
Monthly downloads |
Added to index2010-12-22Total downloads3 ( #201,930 of 549,088 )Recent downloads (6 months)1 ( #63,317 of 549,088 )How can I increase my downloads? |

