GABBAY, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations
Date de publication/diffusion :
2012
Nom de la manifestation :
Deontic Logic in Computer Science - 11th International Conference DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Date de la manifestation :
2012
Titre de l'ouvrage principal :
Deontic Logic in Computer Science - 11th International Conference DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Gabbay, D.M.: Introducing Reactive Kripke Semantics and Arc Accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Trakhtenbrot/Festschrift. LNCS, vol. 4800, pp. 292-341. Springer, Heidelberg (2008); Earlier version published in Proceeding of CombLog 2004, http://www.cs.math.ist.utl.pt/comblog04
Carnielli, W., Dionesio, F.M., Mateus, P. (eds.) Centre of Logic and Computation University of Lisbon, pp 7-20 (2004) ftp://logica.cle.unicamp.br/ pub/e-prints/comblog04/gabbay.pdf
Carmo, J., Jones, A.J.I.: Deontic Logic and Contrary-to-duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, pp. 265-343. Springer (2002)
Gabbay, D.M.: Reactive Proof Theory (in preparation)
Gabbay, D.M., Schlechta, K.: Critical analysis of the Carmo-Jones model of contrary to duty obligations. Draft paper, http://arxiv.org/PS-cache-arxiv/ pdf/1002/1002.3021v1.pdf
Prakken, H., Sergot, M.: Dyadic deontic logic and contary to duty obligations. In: Nute, D. (ed.) Defeasible Deontic Logic. Synthese Library, pp. 223-262. Kluwer (1997)
de Boer, M., Gabbay, D., Parent, X., Slavkova, M.: Two dimensional deontic logic. In: Synthese, pp. 1-38 (2011), doi:10.1007/s11229-010-9866-4
Gabbay, D.M.: Completeness theorems for reactive modal logics. To appear in AMAI special issue. Paper 392
Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24 (1963)
Ross, A.: Imperatives and Logic. Theoria 7, 53-71 (1941)
Prior, A.N.: Escapism: The Logical Basis of Ethics. In: Melden, A.I. (ed.) Essays in Moral Philosophy, pp. 135-146. University of Washington Press (1958)
Aqvist, L.: A New Approach to the Logical Theory of Interrogatives, Part I, Analysis, Philosophical Society and Department of Philosophy, University of Uppsala, sect. 6.2 (1965)
Forrester, J.W.: Gentle Murder, or the Adverbial Samartian. The Journal of Philosophy 81(4), 193-197 (1984)
van der Torre, L., Tan, Y.H.: Contrary to duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence 27, 49-78 (1999)
Dignum, F., Broersen, J., Dignum, V., Meyer, J.-J.: Meeting the Deadline: Why, When and How. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 30-40. Springer, Heidelberg (2004)
Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.C.: Designing a Deontic Logic of Deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43-56. Springer, Heidelberg (2004)
Dignum, F., Kuiper, R.: Specifying Deadlines with Dense Time Using Deontic and Temporal Logic. International Journal of Electronic Commerce 3(2), 67-86 (winter 1998-1999)
Dignum, F., Meyer, J.-J., Kuiper, R.: An investigation into deontics of durative actions. In: Proceedings 4th Int. Conference on Deontic Logic in Computer Science, Bologna, Italy (January 1998)
Dignum, F., Kuiper, R.: Obligations and Dense Time for Specifying Deadlines. In: Proceedings of Thirty-First HICSS, Hawaii (1998)
Dignum, F., Weigand, H., Verharen, E.: Meeting the Deadline: on the Formal Specification of Temporal Deontic Constraints. In: Michalewicz, M., Rás, Z.W. (eds.) ISMIS 1996. LNCS(LNAI), vol. 1079, pp. 243-252. Springer, Heidelberg (1996)
Broersen, J.: Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 53-68. Springer, Heidelberg (2006)
Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: Sprague Jr., R. (ed.) Proceedings of Thirtieth HICSS (1997)
Meyer, C.J.-J.: A simple solution to the "deepest" paradox in deontic logic. Logique et Analyse, 117-118, 81-90 (1987)
Anglberge, A.J.J.: Dynamic Deontic Logic and Its Paradoxes. Studia Logica 89(3), 427-435 (2008)
Carmo, J.M.C.L.M., Jones, A.J.I.: Completeness and decidability results for a logic of contrary-to-duty conditionals. J. Logic and Computation (2012), doi:10.1093/logcom/exs009
Gabbay, D.: Reactive Standard Deontic Logic. To appear in J. Logic and Computation Special Issue Celebrating 60 Years of Deontic Logic
Gabbay, D.: Reactive Kripke Models and Contrary-to-duty Obligations. Part A: semantics. To appear in Journal of Applied Logic
