Xavier Parent

From MaRDI portal
Person:383045

Available identifiers

zbMath Open parent.xavierMaRDI QIDQ383045

List of research outcomes





PublicationDate of PublicationType
Conditional normative reasoning as a fragment of HOL2024-12-09Paper
Permissive and regulative norms in deontic logic2024-11-12Paper
Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments2024-10-14Paper
Analytic proof theory for Åqvist's system F2024-08-05Paper
Perspectival obligation and extensionality in an alethic-deontic setting2024-08-05Paper
On some weakened forms of transitivity in the logic of conditional obligation2024-05-27Paper
https://portal.mardi4nfdi.de/entity/Q58783822023-02-21Paper
https://portal.mardi4nfdi.de/entity/Q50391642022-10-12Paper
https://portal.mardi4nfdi.de/entity/Q58696282022-09-28Paper
https://portal.mardi4nfdi.de/entity/Q58696272022-09-28Paper
https://portal.mardi4nfdi.de/entity/Q51570222021-10-12Paper
https://portal.mardi4nfdi.de/entity/Q49936092021-06-15Paper
Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support2020-11-16Paper
https://portal.mardi4nfdi.de/entity/Q52318782019-09-04Paper
https://portal.mardi4nfdi.de/entity/Q52247942019-07-24Paper
https://portal.mardi4nfdi.de/entity/Q52249012019-07-24Paper
https://portal.mardi4nfdi.de/entity/Q52249172019-07-24Paper
A deontic logic reasoning infrastructure2018-09-06Paper
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL2018-02-23Paper
https://portal.mardi4nfdi.de/entity/Q52713832017-07-11Paper
Intuitionistic Basis for Input/Output Logic2015-05-19Paper
COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F2015-04-24Paper
Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition2014-12-18Paper
“Sing and Dance!”2014-09-08Paper
Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]2013-11-25Paper
Contrary-To-Duties in Games2012-07-23Paper
Why Be Afraid of Identity?2012-07-23Paper
Moral Particularism and Deontic Logic2010-09-29Paper
A complete axiom set for Hansson's deontic logic DSDL22010-07-26Paper
Remedial interchange, contrary-to-duty obligation and commutation2009-11-11Paper
On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G2008-08-28Paper
https://portal.mardi4nfdi.de/entity/Q43291882002-04-29Paper

Research outcomes over time

This page was built for person: Xavier Parent

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:383045&oldid=7126403"
Powered by MediaWiki