{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T20:02:59Z","timestamp":1750449779056},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_13","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T12:17:57Z","timestamp":1215951477000},"page":"155-173","source":"Crossref","is-referenced-by-count":14,"title":["Reactive Kripke Models and Contrary to Duty Obligations"],"prefix":"10.1007","author":[{"given":"Dov M.","family":"Gabbay","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-540-78127-1_17","volume-title":"Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday","author":"D.M. Gabbay","year":"2008","unstructured":"Gabbay, D.M.: Reactive Kripke Semantics and Arc Accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, vol.\u00a04800, pp. 292\u2013341. Springer, Berlin (2008); Earlier version published. In: Carnielli, W., Dionesio, F. M., Mateus, P. (eds.) Proceeding of CombLog 2004, Centre of Logic and Computation University of Lisbon, pp. 7\u201320 (2004), \n                  \n                    http:\/\/www.cs.math.ist.utl.pt\/comblog04\/\n                  \n                  \n                \n                \n                  \n                    ftp:\/\/logica.cle.unicamp.br\/pub\/e-prints\/comblog04\/gabbay.pdf"},{"key":"13_CR2","unstructured":"Gabbay, D.M., Barringer, H., Rydeheard, D.: Reactive Grammars. Draft"},{"key":"13_CR3","unstructured":"Gabbay, D.M., Crochemore, M.: Reactive Automata. Draft"},{"key":"13_CR4","unstructured":"Gabbay, D.M., D\u2019Agostino, M.: Reactive Conditionals. Draft"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica\u00a057(1), 91\u2013115 (1996)","journal-title":"Studia Logica"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.J.I.: Deontic Logic and Contrary-to-Duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a08, pp. 265\u2013343. Springer, Heidelberg (2002)"},{"key":"13_CR7","unstructured":"Gabbay, D.M.: Reactive Proof Theory. Draft"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/jigpal\/10.6.601","volume":"10","author":"D.M. Gabbay","year":"2002","unstructured":"Gabbay, D.M., Rodrigues, O., Woods, J.: Belief Contraction, Anti-formulas, and Resource Overdraft: Part I. Logic Journal of the IGPL\u00a010, 601\u2013652 (2002)","journal-title":"Logic Journal of the IGPL"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-1-4020-2808-3_16","volume-title":"Logic, Epistemology and the Unity of Science","author":"D.M. Gabbay","year":"2004","unstructured":"Gabbay, D.M., Rodrigues, O., Woods, J.: Belief Contraction, Anti-formulae and Resource Overdraft: Part II. In: Gabbay, D.M., Rahman, S., Symons, J., van Bendegem, J.-P. (eds.) Logic, Epistemology and the Unity of Science, pp. 291\u2013326. Kluwer, Dordrecht (2004)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"1","author":"D.M. Gabbay","year":"1984","unstructured":"Gabbay, D.M., Reyle, U.: N-Prolog: An Extension of Prolog with Hypothetical Implications I. Journal of Logic Programming\u00a01, 319\u2013355 (1984)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D. Makinson","year":"2001","unstructured":"Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic\u00a030(2), 155\u2013185 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"13_CR12","unstructured":"van der Torre, L.W.N., Tan, Y.-H.: The Temporal Analysis of Chisholm\u2019s Paradox. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference (1998)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"373","DOI":"10.2307\/2214372","volume":"3","author":"B. Hansson","year":"1969","unstructured":"Hansson, B.: Standard Dyadic Denotic Logic. No\u00fbs\u00a03, 373\u2013398 (1969)","journal-title":"No\u00fbs"},{"key":"13_CR14","unstructured":"van der Torre, L.: Violated obligations in a defeasible deontic logic. In: Proceedings of ECAI 1994, Amsterdam, pp. 371\u2013375 (1994)"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D. Makinson","year":"1993","unstructured":"Makinson, D.: Five faces of minimality. Studia Logica\u00a052, 339\u2013379 (1993)","journal-title":"Studia Logica"},{"key":"13_CR16","unstructured":"Broersen, J., van der Torre, L.: Reasoning About Norms, Obligations, Time and Agents. In: Proceedings of PRIMA 2007. LNCS. Springer, Heidelberg (to appear)"},{"key":"13_CR17","unstructured":"Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems, Jan Broersen, PhD-thesis Vrije Universiteit Amsterdam (January 2003)"},{"key":"13_CR18","unstructured":"Hansen, J., Pigozzi, G., van der Torre, L.: Ten Philosophical Problems in Deontic Logic. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2007)"},{"key":"13_CR19","unstructured":"Broersen, J., van der Torre, L.W.N.: Semantic Analysis of Chisholm\u2019s Paradox. In: BNAIC 2005, pp. 28\u201334 (2005)"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T15:28:48Z","timestamp":1551540528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70525-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540705246","9783540705253"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70525-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}