{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:32:45Z","timestamp":1762875165398},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705246"},{"type":"electronic","value":"9783540705253"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-70525-3_12","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T12:17:57Z","timestamp":1215951477000},"page":"140-154","source":"Crossref","is-referenced-by-count":22,"title":["A Logical Analysis of the Interaction between \u2018Obligation-to-do\u2019 and \u2018Knowingly Doing\u2019"],"prefix":"10.1007","author":[{"given":"Jan","family":"Broersen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Horty, J.: Personal communication (2007)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-92248-3","volume-title":"Proceedings Workshop on Declarative Action Languages and Technologies (DALT) 2008","author":"J.M. Broersen","year":"2008","unstructured":"Broersen, J.M.: A complete STIT logic for knowledge and action, and some of its applications. In: Baldoni, M., Son, T.C., Riemsdijk, M.B.v., Winikoff, M. (eds.) Proceedings Workshop on Declarative Action Languages and Technologies (DALT) 2008. LNCS. Springer, Heidelberg (to appear, 2008)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1160633.1160666","volume-title":"5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2006)","author":"A. Herzig","year":"2006","unstructured":"Herzig, A., Troquard, N.: Knowing How to Play: Uniform Choices in Logics of Agency. In: Weiss, G., Stone, P. (eds.) 5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, pp. 209\u2013216. ACM Press, New York (2006)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Broersen, J., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Proceedings Theoretical Aspects Rationality and Knowledge (TARK XI), Brussels","DOI":"10.1145\/1324249.1324264"},{"key":"12_CR5","unstructured":"Balbiani, P., Gasquet, O., Herzig, A., Schwarzentruber, F., Troquard, N.: Coalition games over Kripke semantics: expressiveness and complexity. In: D\u00e8gremont, C., Keiff, L., R\u00fcckert, H. (eds.) Festschrift in Honour of Shahid Rahman. College Publications (to appear, 2008)"},{"issue":"1-2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531259","volume":"9","author":"P. Bartha","year":"1993","unstructured":"Bartha, P.: Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence\u00a09(1-2), 1\u201323 (1993)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A. Anderson","year":"1958","unstructured":"Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind\u00a067, 100\u2013103 (1958)","journal-title":"Mind"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.J. Meyer","year":"1988","unstructured":"Meyer, J.J.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic\u00a029, 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"12_CR9","unstructured":"Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Faculteit der Exacte Wetenschappen, Vrije Universiteit Amsterdam (February 2003)"},{"key":"12_CR10","series-title":"Formal Models and Semantics","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E. Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and modal logic. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, pp. 996\u20131072. Elsevier Science, Amsterdam (1990)"},{"key":"12_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J. Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, Florida (October 1997)","DOI":"10.1109\/SFCS.1997.646098"},{"issue":"5","key":"12_CR13","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"issue":"1","key":"12_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation\u00a012(1), 149\u2013166 (2002)","journal-title":"Journal of Logic and Computation"},{"key":"12_CR15","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"23","volume-title":"Proceedings LCMAS 2005","author":"J. Broersen","year":"2005","unstructured":"Broersen, J., Herzig, A., Troquard, N.: From coalition logic to STIT. In: Proceedings LCMAS 2005. Electronic Notes in Theoretical Computer Science, vol.\u00a0157, pp. 23\u201335. Elsevier, Amsterdam (2005)"},{"issue":"5","key":"12_CR16","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1093\/logcom\/exl025","volume":"16","author":"J. Broersen","year":"2006","unstructured":"Broersen, J., Herzig, A., Troquard, N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of Logic and Computation\u00a016(5), 559\u2013578 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"12_CR17","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyachev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"key":"12_CR18","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., Rijke, M.d., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world, Oxford (2001)","DOI":"10.1093\/oso\/9780195138788.001.0001"},{"issue":"1","key":"12_CR20","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W.v.d. Hoek","year":"2003","unstructured":"Hoek, W.v.d., Wooldridge, M.: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica\u00a075(1), 125\u2013157 (2003)","journal-title":"Studia Logica"},{"key":"12_CR21","unstructured":"Jamroga, W., Hoek, W.v.d.: Agents that know how to play, 63(2) (2004)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Jamroga, W., \u00c5gotnes, T.: Constructive knowledge: what agents can achieve under incomplete information. Technical Report IfI-05-10, Institute of Computer Science, Clausthal University of Technology, Clausthal-Zellerfeld (2005)","DOI":"10.1145\/1160633.1160672"},{"issue":"2","key":"12_CR23","first-page":"311","volume":"149","author":"E. Pacuit","year":"2006","unstructured":"Pacuit, E., Parikh, R., Cogan, E.: The logic of knowledge based obligation. Knowledge, Rationality and Action a subjournal of Synthese\u00a0149(2), 311\u2013341 (2006)","journal-title":"Knowledge, Rationality and Action a subjournal of Synthese"},{"key":"12_CR24","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1142\/9789812799746_0010","volume-title":"Essays on Non-classical Logic","author":"H. Wansing","year":"2001","unstructured":"Wansing, H.: Obligations, authorities, and history dependence. In: Wansing, H. (ed.) Essays on Non-classical Logic, pp. 247\u2013258. World Scientific, Singapore (2001)"},{"issue":"4","key":"12_CR25","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language and Information\u00a012(4), 453\u2013467 (2003)","journal-title":"Journal of Logic, Language and Information"},{"key":"12_CR26","doi-asserted-by":"crossref","first-page":"361","DOI":"10.2307\/2214624","volume":"1","author":"L. \u00c5qvist","year":"1967","unstructured":"\u00c5qvist, L.: Good samaritans contarary-to-duty imperatives and epistemic obligations. NOUS\u00a01, 361\u2013379 (1967)","journal-title":"NOUS"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.v. Wright","year":"1951","unstructured":"Wright, G.v.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"12_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/11786849_15","volume-title":"Deontic Logic and Artificial Normative Systems","author":"B.P. Kooi","year":"2006","unstructured":"Kooi, B.P., Tamminga, A.M.: Conflicting obligations in multi-agent deontic logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 175\u2013186. Springer, Heidelberg (2006)"},{"key":"12_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11853886_8","volume-title":"Logics in Artificial Intelligence","author":"J. Broersen","year":"2006","unstructured":"Broersen, J., Herzig, A., Troquard, N.: A STIT-extension of ATL. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 69\u201381. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70525-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T07:50:33Z","timestamp":1709106633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70525-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540705246","9783540705253"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70525-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}