Edit Profile Parent, Xavier Compute Distance To: Compute Author ID: parent.xavier Published as: Parent, X.; Parent, Xavier Documents Indexed: 23 Publications since 2001, including 4 Books Reviewing Activity: 10 Reviews all top 5 Co-Authors 8 single-authored 10 van der Torre, Leendert W. N. 4 Benzmüller, Christoph Ewald 3 Gabbay, Dov M. 2 Meheus, Joke 1 Ambrossio, Diego Agustín 1 Cariani, Fabrizio 1 Colombo Tosatto, Silvano 1 de Boer, Mathijs 1 Farjami, Ali 1 Grossi, Davide 1 Horty, John F. 1 Ricca, Francesco 1 Roman, Dumitru 1 Slavkovic, Marija 1 Turrini, Paolo 1 van der Meyden, Ron all top 5 Serials 2 Lecture Notes in Computer Science 1 Artificial Intelligence 1 Journal of Philosophical Logic 1 Synthese 1 Journal of Logic and Computation 1 Journal of Applied Non-Classical Logics 1 Logic Journal of the IGPL 1 Fundamenta Informaticae 1 The Review of Symbolic Logic 1 Texts in Logic and Reasoning Fields 20 Mathematical logic and foundations (03-XX) 5 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 14 Publications have been cited 40 times in 26 Documents Cited by ▼ Year ▼ Handbook of deontic logic and normative systems. Zbl 1309.03001Gabbay, Dov (ed.); Horty, John (ed.); Parent, Xavier (ed.); van der Meyden, Ron (ed.); van der Torre, Leendert (ed.) 13 2013 “Sing and dance!”. Input/output logics without weakening. Zbl 1321.03033Parent, Xavier; van der Torre, Leendert 4 2014 Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson’s tradition. Zbl 1321.03032Parent, Xavier 3 2014 Input/output logic. Zbl 1367.03044Parent, Xavier; van der Torre, Leendert 3 2013 I/O logics with a consistency check. Zbl 1418.03098Parent, Xavier; van der Torre, Leendert 2 2018 Completeness of Åqvist’s systems \(\mathbf E\) and \(\mathbf F\). Zbl 1371.03027Parent, Xavier 2 2015 Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Zbl 1275.03093de Boer, Mathijs; Gabbay, Dov M.; Parent, Xavier; Slavkovic, Marija 2 2012 Moral particularism and deontic logic. Zbl 1242.03051Parent, Xavier 2 2010 A complete axiom set for Hansson’s deontic logic DSDL2. Zbl 1218.03021Parent, Xavier 2 2010 On the strong completeness of Åqvist’s dyadic deontic logic \({\mathbf G}\). Zbl 1144.03016Parent, Xavier 2 2008 Remedial interchange, contrary-to-duty obligation and commutation. Zbl 1181.03019Parent, X. 2 2003 Introduction to deontic logic and normative systems. Zbl 1431.03034Parent, Xavier; van der Torre, Leendert 1 2018 A dyadic deontic logic in HOL. Zbl 1418.03069Benzmüller, Christoph; Farjami, Ali; Parent, Xavier 1 2018 Intuitionistic basis for input/output logic. Zbl 1311.03041Parent, Xavier; Gabbay, Dov; van der Torre, Leendert 1 2014 I/O logics with a consistency check. Zbl 1418.03098Parent, Xavier; van der Torre, Leendert 2 2018 Introduction to deontic logic and normative systems. Zbl 1431.03034Parent, Xavier; van der Torre, Leendert 1 2018 A dyadic deontic logic in HOL. Zbl 1418.03069Benzmüller, Christoph; Farjami, Ali; Parent, Xavier 1 2018 Completeness of Åqvist’s systems \(\mathbf E\) and \(\mathbf F\). Zbl 1371.03027Parent, Xavier 2 2015 “Sing and dance!”. Input/output logics without weakening. Zbl 1321.03033Parent, Xavier; van der Torre, Leendert 4 2014 Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson’s tradition. Zbl 1321.03032Parent, Xavier 3 2014 Intuitionistic basis for input/output logic. Zbl 1311.03041Parent, Xavier; Gabbay, Dov; van der Torre, Leendert 1 2014 Handbook of deontic logic and normative systems. Zbl 1309.03001Gabbay, Dov (ed.); Horty, John (ed.); Parent, Xavier (ed.); van der Meyden, Ron (ed.); van der Torre, Leendert (ed.) 13 2013 Input/output logic. Zbl 1367.03044Parent, Xavier; van der Torre, Leendert 3 2013 Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Zbl 1275.03093de Boer, Mathijs; Gabbay, Dov M.; Parent, Xavier; Slavkovic, Marija 2 2012 Moral particularism and deontic logic. Zbl 1242.03051Parent, Xavier 2 2010 A complete axiom set for Hansson’s deontic logic DSDL2. Zbl 1218.03021Parent, Xavier 2 2010 On the strong completeness of Åqvist’s dyadic deontic logic \({\mathbf G}\). Zbl 1144.03016Parent, Xavier 2 2008 Remedial interchange, contrary-to-duty obligation and commutation. Zbl 1181.03019Parent, X. 2 2003 all cited Publications top 5 cited Publications all top 5 Cited by 40 Authors 4 Sun, Xin 4 van der Torre, Leendert W. N. 3 Parent, Xavier 3 Pigozzi, Gabriella 2 Broersen, Jan M. 2 Gabbay, Dov M. 2 Robaldo, Livio 2 Stolpe, Audun 1 Abraham, Michael 1 Ambrossio, Diego Agustín 1 Anglberger, Albert J. J. 1 Bartolini, Cesare 1 Beirlaen, Mathieu 1 Benzmüller, Christoph Ewald 1 Boella, Guido 1 Ciabattoni, Agata 1 Czelakowski, Janusz 1 Dong, Huimin 1 Freschi, Elisa 1 Gammaitoni, Loïc 1 Genco, Francesco A. 1 Gratzl, Norbert 1 Lellmann, Björn 1 Lenzini, Gabriele 1 Markovich, Réka 1 Martoni, Michele 1 Nissan, Ephraim 1 Oren, Nir 1 Palmirani, Monica 1 Riveret, Régis 1 Rossi, Arianna 1 Roy, Olivier 1 Sartor, Giovanni 1 Schild, Uri 1 Strasser, Christian 1 Svoboda, Vladimír 1 Tsoukiàs, Alexis 1 Tucker, Dustin 1 Van De Putte, Frederik 1 Viappiani, Paolo all top 5 Cited in 10 Serials 3 Journal of Philosophical Logic 3 Studia Logica 3 Journal of Applied Logic 2 Synthese 2 Journal of Logic, Language and Information 2 Annals of Mathematics and Artificial Intelligence 2 The Review of Symbolic Logic 1 Artificial Intelligence 1 International Journal of Approximate Reasoning 1 Journal of Applied Non-Classical Logics Cited in 5 Fields 19 Mathematical logic and foundations (03-XX) 13 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year