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-12 of 12 (Search time: 0.006 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 Mechanising normative reasoning: proof-theory or semantics? Part 1Presentation Vortrag11-Apr-2023
5Parent, Xavier Logics for normative reasoning and their proof theoryPresentation Vortrag26-Jan-2023
6Olszewski, Maya Alexandra ; Parent, Xavier ; van der Torre, Leendert Permissive and regulative norms in deontic logicArticle Artikel 2023
7Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier Dyadic Obligations: Proofs and Countermodels via HypersequentsInproceedings Konferenzbeitrag 12-Nov-2022
8Parent, Xavier New Developments in Dyadic Deontic LogicPresentation Vortrag16-Jul-2022
9Benzmüller, Christoph ; Farjami, Ali ; Parent, Xavier Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical ExperimentsBook Contribution Buchbeitrag2022
10Parent, Xavier ; Benzmüller, Christoph Automated Verification of Deontic Correspondences in Isabelle/HOL - First resultsInproceedings Konferenzbeitrag 2022
11Parent, Xavier ; van der Torre, Leendert Detachment in Normative Systems: Examples, Inference Patterns, PropertiesBook Contribution Buchbeitrag2022
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