Skip to main content
SpringerLink
Log in

Ockham’s razor and reasoning about information flow

  • Published:
Synthese Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Baltag, A., & Moss, L. S. (2004). Logics for epistemic programs. Synthese, 139.

  • Baltag A., Coecke B., Sadrzadeh M. (2007) Epistemic actions as resources. Journal of Logic and Computation 17(3): 555–585

    Article  Google Scholar 

  • Baltag, A., Moss, L. S., & Solecki, S. (1999). The logic of public announcements, common knowledge and private suspicions, CWI Technical Report SEN-R9922.

  • Davey B.A., Priestley H.A. (1990) Introduction to lattices and order. Cambridge University Press, Cambridge

    Google Scholar 

  • Fagin, R., Halpern, J.Y., Moses, Y., & Vardi, M.Y. (1995). Reasoning about Knowledge. MIT Press.

  • Gehrke M., Nagahashi H., Venema Y. (2005) A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic 131: 65–102

    Article  Google Scholar 

  • Gerbrandy J. et al (1999) Dynamic Epistemic Logic. In: Moss L.S. (eds) Logic, Language, and Information 2. CSLI Publication, Stanford University

    Google Scholar 

  • Hintikka J. (1962) Knowledge and belief: An introduction to the logic of two notions. Cornell University Press, New York

    Google Scholar 

  • Jonsson B., Tarski A. (1951) Boolean algebras with operators I. American Journal of Mathematics 73: 891–939

    Article  Google Scholar 

  • Jonsson B., Tarski A. (1952) Boolean algebras with operators II. American Journal of Mathematics 74: 127–162

    Article  Google Scholar 

  • Joyal, A., & Tierney, M. (1984). An extension of the Galois theory of Grothendieck. Memoirs of the American Mathematical Society, 309.

  • Meyer J.J.C., van der Hoek W. (1995) Epistemic Logic for Computer Science and Artificial Intelligence, in Cambridge tracts in theoretical computer science, Vol. 41. Cambridge University Press, Cambridge

    Google Scholar 

  • Plaza, J. (1989). Logics of public communications. Proceedings of 4th International Symposium on Methodologies for Intelligent Systems.

  • Sadrzadeh, M. (2005). Actions and Resources in Epistemic Logic, Ph.D. Thesis, University of Quebec at Montreal, http://www.ecs.soton.ac.uk/~ms6/all.pdf.

  • van Benthem J. (1989) Logic in action. Journal of Philosophical Logic 20: 225–263

    Article  Google Scholar 

  • van Der Hoek, W., & Wooldridge, M. (2002). Time, knowledge, and cooperation: Alternating-time temporal epistemic logic, COORDINATION.

Download references

Author information

Authors and Affiliations

  1. Laboratoire Preuves Programmes et Systèmes, Université Paris Diderot, Paris 7, France

    Mehrnoosh Sadrzadeh

Authors
  1. Mehrnoosh Sadrzadeh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mehrnoosh Sadrzadeh.

Additional information

Member of the research Group on Philosophy of Information (GPI) and Information Ethics Group (IEG), University of Hertfordshire and Oxford University. From October 2008, EPSRC Postdoctoral Research Fellow at Oxford University Computing Laboratory.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sadrzadeh, M. Ockham’s razor and reasoning about information flow. Synthese 167, 391–408 (2009). https://doi.org/10.1007/s11229-008-9414-7

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-008-9414-7

Keywords

Search

Navigation