×

zbMATH — the first resource for mathematics

Parent, Xavier

Compute Distance To:
Author ID: parent.xavier Recent zbMATH articles by "Parent, Xavier"
Published as: Parent, X.; Parent, Xavier
Documents Indexed: 23 Publications since 2001, including 4 Books
Reviewing Activity: 10 Reviews

Publications by Year

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.03001
Gabbay, 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.03033
Parent, Xavier; van der Torre, Leendert
4
2014
Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson’s tradition. Zbl 1321.03032
Parent, Xavier
3
2014
Input/output logic. Zbl 1367.03044
Parent, Xavier; van der Torre, Leendert
3
2013
I/O logics with a consistency check. Zbl 1418.03098
Parent, Xavier; van der Torre, Leendert
2
2018
Completeness of Åqvist’s systems \(\mathbf E\) and \(\mathbf F\). Zbl 1371.03027
Parent, Xavier
2
2015
Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Zbl 1275.03093
de Boer, Mathijs; Gabbay, Dov M.; Parent, Xavier; Slavkovic, Marija
2
2012
Moral particularism and deontic logic. Zbl 1242.03051
Parent, Xavier
2
2010
A complete axiom set for Hansson’s deontic logic DSDL2. Zbl 1218.03021
Parent, Xavier
2
2010
On the strong completeness of Åqvist’s dyadic deontic logic \({\mathbf G}\). Zbl 1144.03016
Parent, Xavier
2
2008
Remedial interchange, contrary-to-duty obligation and commutation. Zbl 1181.03019
Parent, X.
2
2003
Introduction to deontic logic and normative systems. Zbl 1431.03034
Parent, Xavier; van der Torre, Leendert
1
2018
A dyadic deontic logic in HOL. Zbl 1418.03069
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier
1
2018
Intuitionistic basis for input/output logic. Zbl 1311.03041
Parent, Xavier; Gabbay, Dov; van der Torre, Leendert
1
2014
I/O logics with a consistency check. Zbl 1418.03098
Parent, Xavier; van der Torre, Leendert
2
2018
Introduction to deontic logic and normative systems. Zbl 1431.03034
Parent, Xavier; van der Torre, Leendert
1
2018
A dyadic deontic logic in HOL. Zbl 1418.03069
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier
1
2018
Completeness of Åqvist’s systems \(\mathbf E\) and \(\mathbf F\). Zbl 1371.03027
Parent, Xavier
2
2015
“Sing and dance!”. Input/output logics without weakening. Zbl 1321.03033
Parent, Xavier; van der Torre, Leendert
4
2014
Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson’s tradition. Zbl 1321.03032
Parent, Xavier
3
2014
Intuitionistic basis for input/output logic. Zbl 1311.03041
Parent, Xavier; Gabbay, Dov; van der Torre, Leendert
1
2014
Handbook of deontic logic and normative systems. Zbl 1309.03001
Gabbay, 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.03044
Parent, 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.03093
de Boer, Mathijs; Gabbay, Dov M.; Parent, Xavier; Slavkovic, Marija
2
2012
Moral particularism and deontic logic. Zbl 1242.03051
Parent, Xavier
2
2010
A complete axiom set for Hansson’s deontic logic DSDL2. Zbl 1218.03021
Parent, Xavier
2
2010
On the strong completeness of Åqvist’s dyadic deontic logic \({\mathbf G}\). Zbl 1144.03016
Parent, Xavier
2
2008
Remedial interchange, contrary-to-duty obligation and commutation. Zbl 1181.03019
Parent, X.
2
2003

Citations by Year