{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T20:06:49Z","timestamp":1781899609993,"version":"3.54.5"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s11229-005-3877-6","type":"journal-article","created":{"date-parts":[[2006,4,25]],"date-time":"2006-04-25T18:01:54Z","timestamp":1145988114000},"page":"311-341","source":"Crossref","is-referenced-by-count":31,"title":["The Logic of Knowledge Based Obligation"],"prefix":"10.1007","volume":"149","author":[{"given":"Eric","family":"Pacuit","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rohit","family":"Parikh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eva","family":"Cogan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3877_CR1","doi-asserted-by":"crossref","unstructured":"Belnap, N., M. Perloff and M. Xu: 2001, Facing the Future, Oxford.","DOI":"10.1093\/oso\/9780195138788.001.0001"},{"key":"3877_CR2","volume-title":"Essays on Actions and Events","author":"D. Davidson","year":"1980"},{"key":"3877_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995"},{"key":"3877_CR4","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","journal-title":"Journal of Philosophical Logic"},{"key":"3877_CR5","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Halpern","year":"1989","journal-title":"Journal of Computer and System Sciences"},{"key":"3877_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J. Halpern","year":"2004","journal-title":"SIAM Journal of Computing"},{"key":"3877_CR7","doi-asserted-by":"crossref","unstructured":"Hilpinen, R.: 2001, Deontic Logic, In Lou Goble (ed.), Blackwell Guide to Philosophical Logic, Blackwell, pp. 159\u2013182.","DOI":"10.1111\/b.9780631206934.2001.00011.x"},{"key":"3877_CR8","unstructured":"Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press."},{"key":"3877_CR9","doi-asserted-by":"crossref","unstructured":"Horty, J.: 2001, Agency and Deontic Logic, Oxford University Press.","DOI":"10.1093\/0195134613.001.0001"},{"key":"3877_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A. Lomuscio","year":"2003","journal-title":"Studia Logica"},{"key":"3877_CR11","volume-title":"Grundgesetze des Sollens: Elemente der Logik des Willens","author":"E. Mally","year":"1926"},{"issue":"3","key":"3877_CR12","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R. van der Meyden","year":"1996","journal-title":"Journal of Logic and Computation"},{"key":"3877_CR13","first-page":"480","volume-title":"Readings in Planning.","author":"R.C. Moore","year":"1990"},{"key":"3877_CR14","unstructured":"Pacuit, E.: 2005, Topics in Social Software: Information in Strategic Situations, Doctoral Dissertation, City University of New York Graduate Center."},{"key":"3877_CR15","unstructured":"Pacuit, E. and R. Parikh: 2004, \u2018A Logic for Communication Graphs\u2019, to appear in the post-proceedings of DALT 2004."},{"key":"3877_CR16","doi-asserted-by":"crossref","unstructured":"Parikh, R.: 1995, Knowledge Based Computation (Extended Abstract), In Proceedings of AMAST-95, Montreal, July 1995, Edited by Alagar and Nivat, Lecture Notes in Computer Science no. 936, pp. 127\u201342.","DOI":"10.1007\/3-540-60043-4_49"},{"key":"3877_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1023\/A:1020391420768","volume":"132","author":"R. Parikh","year":"2002","journal-title":"Synthese"},{"key":"3877_CR18","doi-asserted-by":"crossref","unstructured":"Parikh, R.: 2003, \u2018Levels of Knowledge, Games, and Group Action\u2019, In Research in Economics 57, 267\u2013281.","DOI":"10.1016\/S1090-9443(03)00030-9"},{"key":"3877_CR19","doi-asserted-by":"crossref","unstructured":"Parikh, R. and R. Ramanujam: 1985, \u2018Distributed Processes and the Logic of Knowledge\u2019, In Logic of Programs, LNCS #193, Springer pp. 256\u2013268.","DOI":"10.1007\/3-540-15648-8_21"},{"key":"3877_CR20","doi-asserted-by":"crossref","unstructured":"Parikh, R. and R. Ramanujam: 2003, \u2018A Knowledge based Semantics of Messages\u2019, In Journal of Logic, Language and Information 12, 453\u2013467.","DOI":"10.1023\/A:1025007018583"},{"key":"3877_CR21","unstructured":"Wozna, B., A. Lomuscio, and W. Penczek: \u2018Bounded Model Checking for Deontic Interpreted Systems\u2019. Proceedings of the second Workshop on Logic and Communication in Multi-Agent Systems (LCMAS04). Nancy, July, 2004."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3877-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-005-3877-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3877-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3877-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T17:19:09Z","timestamp":1736356749000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-005-3877-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["3877"],"URL":"https:\/\/doi.org\/10.1007\/s11229-005-3877-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}