Logic of Information Flow on Communi- cation Channels
| Abstract | In this paper1, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesA. Baltag & S. Smets (2008). A Dynamic-Logical Perspective on Quantum Behavior. Studia Logica 89 (2):187 - 211.
Jan van Eijck & Fer-Jan de Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1).
Robert van Rooy (2003). Quality and Quantity of Information Exchange. Journal of Logic, Language and Information 12 (4):423-451.
Johan van Benthem & David Israel (1999). Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. Journal of Logic, Language and Information 8 (3):390-397.
Simon D.’Alfonso (forthcoming). The Logic of Knowledge and the Flow of Information. Minds and Machines:1-19.
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Mehrnoosh Sadrzadeh (2009). Ockham's Razor and Reasoning About Information Flow. Synthese 167 (2):391 - 408.
Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
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.
Jon Barwise (1993). Constraints, Channels and the Flow of Information. In Peter Aczel, David Israel, Yosuhiro Katagiri & Stanley Peters (eds.), Situation Theory and its Applications Vol. 3. Csli.
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5).
Analytics
Monthly downloads |
Added to index2010-11-21Total downloads15 ( #78,702 of 549,128 )Recent downloads (6 months)1 ( #63,361 of 549,128 )How can I increase my downloads? |
My notes
Discussion
