{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:12Z","timestamp":1761611232577,"version":"3.35.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T00:00:00Z","timestamp":1224633600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s11229-008-9414-7","type":"journal-article","created":{"date-parts":[[2008,10,21]],"date-time":"2008-10-21T16:58:00Z","timestamp":1224608280000},"page":"391-408","source":"Crossref","is-referenced-by-count":3,"title":["Ockham\u2019s razor and reasoning about information flow"],"prefix":"10.1007","volume":"167","author":[{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,10,22]]},"reference":[{"key":"9414_CR1","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Moss, L. S. (2004). Logics for epistemic programs. Synthese, 139.","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"issue":"3","key":"9414_CR2","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1093\/logcom\/exm015","volume":"17","author":"A. Baltag","year":"2007","unstructured":"Baltag A., Coecke B., Sadrzadeh M. (2007) Epistemic actions as resources. Journal of Logic and Computation 17(3): 555\u2013585","journal-title":"Journal of Logic and Computation"},{"key":"9414_CR3","unstructured":"Baltag, A., Moss, L. S., & Solecki, S. (1999). The logic of public announcements, common knowledge and private suspicions, CWI Technical Report SEN-R9922."},{"key":"9414_CR4","volume-title":"Introduction to lattices and order","author":"B.A. Davey","year":"1990","unstructured":"Davey B.A., Priestley H.A. (1990) Introduction to lattices and order. Cambridge University Press, Cambridge"},{"key":"9414_CR5","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., & Vardi, M.Y. (1995). Reasoning about Knowledge. MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9414_CR6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M. Gehrke","year":"2005","unstructured":"Gehrke M., Nagahashi H., Venema Y. (2005) A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic 131: 65\u2013102","journal-title":"Annals of Pure and Applied Logic"},{"key":"9414_CR7","volume-title":"Logic, Language, and Information 2","author":"J. Gerbrandy","year":"1999","unstructured":"Gerbrandy J. et al (1999) Dynamic Epistemic Logic. In: Moss L.S. (eds) Logic, Language, and Information 2. CSLI Publication, Stanford University"},{"key":"9414_CR8","volume-title":"Knowledge and belief: An introduction to the logic of two notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka J. (1962) Knowledge and belief: An introduction to the logic of two notions. Cornell University Press, New York"},{"key":"9414_CR9","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. Jonsson","year":"1951","unstructured":"Jonsson B., Tarski A. (1951) Boolean algebras with operators I. American Journal of Mathematics 73: 891\u2013939","journal-title":"American Journal of Mathematics"},{"key":"9414_CR10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. Jonsson","year":"1952","unstructured":"Jonsson B., Tarski A. (1952) Boolean algebras with operators II. American Journal of Mathematics 74: 127\u2013162","journal-title":"American Journal of Mathematics"},{"key":"9414_CR11","doi-asserted-by":"crossref","unstructured":"Joyal, A., & Tierney, M. (1984). An extension of the Galois theory of Grothendieck. Memoirs of the American Mathematical Society, 309.","DOI":"10.1090\/memo\/0309"},{"key":"9414_CR12","volume-title":"Epistemic Logic for Computer Science and Artificial Intelligence, in Cambridge tracts in theoretical computer science, Vol. 41","author":"J.J.C. Meyer","year":"1995","unstructured":"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"},{"key":"9414_CR13","unstructured":"Plaza, J. (1989). Logics of public communications. Proceedings of 4th International Symposium on Methodologies for Intelligent Systems."},{"key":"9414_CR14","unstructured":"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 ."},{"key":"9414_CR15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00250539","volume":"20","author":"J. Benthem van","year":"1989","unstructured":"van Benthem J. (1989) Logic in action. Journal of Philosophical Logic 20: 225\u2013263","journal-title":"Journal of Philosophical Logic"},{"key":"9414_CR16","doi-asserted-by":"crossref","unstructured":"van Der Hoek, W., & Wooldridge, M. (2002). Time, knowledge, and cooperation: Alternating-time temporal epistemic logic, COORDINATION.","DOI":"10.1007\/3-540-46000-4_3"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9414-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-008-9414-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9414-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T04:46:43Z","timestamp":1738471603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-008-9414-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,22]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["9414"],"URL":"https:\/\/doi.org\/10.1007\/s11229-008-9414-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2008,10,22]]}}}