Ockham’s razor and reasoning about information flow

Synthese 167 (2):391 - 408 (2009)
  Copy   BIBTEX

Abstract

What is the minimal algebraic structure to reason about information flow? Do we really need the full power of Boolean algebras with co-closure and de Morgan dual operators? How much can we weaken and still be able to reason about multi-agent scenarios in a tidy compositional way? This paper provides some answers.

Categories

Keywords

Reprint years

DOI

10.1007/s11229-008-9414-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ockham’s razor and reasoning about information flow.Mehrnoosh Sadrzadeh - 2009 - Synthese 167 (2):391-408.
Logic of Information Flow on Communi- cation Channels.Yanjing Wang & Jan van Eijck - unknown
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?Wesley H. Holliday, Yifeng Ding & Cedegao Zhang - 2019 - Electronic Proceedings in Theoretical Computer Science 297:121–139.
Epistemic closure and commutative, nonassociative residuated structures.Sebastian Sequoiah-Grayson - 2013 - Synthese 190 (1):113-128.
A Computationally Grounded Logic Of Visibility, Perception, And Knowledge.M. Wooldridge & A. Lomuscio - 2001 - Logic Journal of the IGPL 9 (2):257-272.
A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers.Rustam Galimullin & Thomas Ågotnes - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 88-101.
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information: Positive logic with adjoint modalities.Mehrnoosh Sadrzadeh - 2010 - Review of Symbolic Logic 3 (3):351-373.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.

Analytics

Added to PP
2009-01-28

Downloads
97 (#57,000)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modes of Adjointness.M. Menni & C. Smith - 2013 - Journal of Philosophical Logic (2-3):1-27.

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 9 references / Add more references