Axiomatisierung des Schließens mit normativen Konditionalen

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Lisa Meitner grant
 
Project Title (de) Projekttitel (de)
Axiomatisierung des Schließens mit normativen Konditionalen
 
Project Title (en) Projekttitel (en)
Axiomatizing conditional normative reasoning
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
M 3240-N
 

Publications

Results 1-15 of 15 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Parent, Xavier Report on "Axiomatizing Conditional Normative Reasoning"Article Artikel Aug-2024
2Parent, Xavier On Some Weakened Forms of Transitivity in the Logic of Conditional ObligationArticle Artikel Jun-2024
3Olszewski, Maya Alexandra ; Parent, Xavier ; van der Torre, Leendert Permissive and regulative norms in deontic logicArticle Artikel Jun-2024
4Parent, Xavier Conditional normative reasoning in HOLPresentation Vortrag11-Jan-2024
5Parent, Xavier Nonstandard betterness and conditional obligationPresentation Vortrag27-Sep-2023
6Pichler, Dominik ; Parent, Xavier Perspectival obligation and extensionality in an alethic-deontic settingInproceedings Konferenzbeitrag 28-Aug-2023
7Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii Analytic Proof Theory for Aqvist's System FInproceedings Konferenzbeitrag 28-Aug-2023
8Parent, Xavier Mechanising normative reasoning: proof-theory or semantics? Part 1Presentation Vortrag11-Apr-2023
9Parent, Xavier Logics for normative reasoning and their proof theoryPresentation Vortrag26-Jan-2023
10Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier Dyadic Obligations: Proofs and Countermodels via HypersequentsInproceedings Konferenzbeitrag 12-Nov-2022
11Parent, Xavier New Developments in Dyadic Deontic LogicPresentation Vortrag16-Jul-2022
122022-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
13Parent, Xavier ; Benzmüller, Christoph Automated Verification of Deontic Correspondences in Isabelle/HOL - First resultsInproceedings Konferenzbeitrag 2022
14Benzmüller, Christoph ; Farjami, Ali ; Parent, Xavier Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical ExperimentsBook Contribution Buchbeitrag2022
15Parent, Xavier ; van der Torre, Leendert Detachment in Normative Systems: Examples, Inference Patterns, PropertiesBook Contribution Buchbeitrag2022