Name Card

Full name Familienname, Vorname
Parent, Xavier
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-17 of 17 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Parent, Xavier Nonstandard betterness and conditional obligationPresentation Vortrag27-Sep-2023
2Pichler, Dominik ; Parent, Xavier Perspectival obligation and extensionality in an alethic-deontic settingInproceedings Konferenzbeitrag 28-Aug-2023
3Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii Analytic Proof Theory for Aqvist's System FInproceedings Konferenzbeitrag 28-Aug-2023
4Parent, Xavier Mechanizing normative reasoning: proof-theory or semantics? Part 2Presentation Vortrag12-Apr-2023
5Parent, Xavier Mechanising normative reasoning: proof-theory or semantics? Part 1Presentation Vortrag11-Apr-2023
6Parent, Xavier Logics for normative reasoning and their proof theoryPresentation Vortrag26-Jan-2023
7Olszewski, Maya Alexandra ; Parent, Xavier ; van der Torre, Leendert Permissive and regulative norms in deontic logicArticle Artikel 2023
8Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier Dyadic Obligations: Proofs and Countermodels via HypersequentsInproceedings Konferenzbeitrag 12-Nov-2022
9Parent, Xavier New Developments in Dyadic Deontic LogicPresentation Vortrag16-Jul-2022
10Parent, Xavier Dyadic deontic logic and the (non-)transitivity of betternessPresentation Vortrag17-Jan-2022
112022-On Some Weakened Forms of Transitivity in the Logic of Norms-vor.pdf.jpgParent, Xavier On Some Weakened Forms of Transitivity in the Logic of NormsInproceedings Konferenzbeitrag 2022
12Benzmüller, Christoph ; Farjami, Ali ; Parent, Xavier Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical ExperimentsBook Contribution Buchbeitrag2022
13Parent, Xavier ; Benzmüller, Christoph Automated Verification of Deontic Correspondences in Isabelle/HOL - First resultsInproceedings Konferenzbeitrag 2022
14Parent, Xavier ; van der Torre, Leendert Detachment in Normative Systems: Examples, Inference Patterns, PropertiesBook Contribution Buchbeitrag2022
15Ciabattoni, Agata ; Parent, Xavier A Kelsenian Deontic LogicKonferenzbeitrag Inproceedings 2021
16Olszewski, Maya ; Parent, Xavier Input/Output Logic With a Consistency Check-the Case of PermissionKonferenzbeitrag Inproceedings 2021
17Benzmüller, Christoph ; Parent, Xavier ; Ricca, Francesco Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)Artikel Article2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pichler Dominik - 2022 - Extensionality for obligations in AAqvists system F.pdf.jpgPichler, Dominik Extensionality for obligations in Åqvist’s system FThesis Hochschulschrift 2022
2Gabbay, Dov ; Horty, John ; Parent, Xavier ; van der Meyden, Ron ; van der Torre, Leendert Handbook of Deontic Logic and Normative SystemsBook Buch19-Jul-2021