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
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
M 3240-N
 

Publications

Results 1-5 of 5 (Search time: 0.017 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier Dyadic Obligations: Proofs and Countermodels via HypersequentsInproceedings Konferenzbeitrag 12-Nov-2022
2Parent, Xavier New Developments in Dyadic Deontic LogicPresentation Vortrag16-Jul-2022
32022-On Some Weakened Forms of Transitivity in the Logic of Norms-vor.pdf.jpgParent, Xavier ; Arieli, Ofer ; Casini, Giovanni On Some Weakened Forms of Transitivity in the Logic of NormsInproceedings Konferenzbeitrag 2022
4Benzmüller, Christoph ; Farjami, Ali ; Parent, Xavier ; Rahman, Shahid ; Armgardt, Matthias ; Kvernenes, Hans Christian Nordtveit Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical ExperimentsBook Contribution Buchbeitrag2022
5Parent, Xavier ; Benzmüller, Christoph Automated Verification of Deontic Correspondences in Isabelle/HOL - First resultsInproceedings Konferenzbeitrag 2022