Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

A unified logical framework for reasoning about deontic properties of actions and states of affairs

2015/17/B/HS1/02569

Keywords:

deontic logic normative reasoning norms of conduct duties of bringing about states of affairs

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

woj. lubelskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Robert Trypuz 

Number of co-investigators in the project: 2

Call: OPUS 9 - announced on 2015-03-16

Amount awarded: 160 200 PLN

Project start date (Y-m-d): 2016-01-25

Project end date (Y-m-d): 2018-07-24

Project duration:: 30 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (7)
  • Articles in post-conference publications (1)
  1. Connecting actions and states in deontic logic
    Authors:
    Robert Trypuz, Piotr Kulicki
    Academic press:
    Studia Logica (rok: 2017, tom: 105(5), strony: 915-942), Wydawca: Stringer
    Status:
    Published
    DOI:
    10.1007/s11225-017-9716-1 - link to the publication
  2. Self-driving cars, conflicting norms and moral reasoning
    Authors:
    Piotr Kulicki, Robert Trypuz
    Academic press:
    FUNDAMENTA INFORMATICAE , Wydawca: IOS Press
    Status:
    Submitted
  3. nC+ as a unified logical framework for reasoning about deontic properties of actions and states
    Authors:
    Piotr Kulicki, Robert Trypuz, Marek Sergot
    Academic press:
    Erkenntnis , Wydawca: Springer
    Status:
    Submitted
  4. Towards a formal ethics for autonomous cars
    Authors:
    Michael Musielewicz, Piotr Kulicki, Robert Trypuz
    Academic press:
    Deontic Logic and Normative Systems (rok: 2018, tom: 14, strony: 193-209), Wydawca: College Publications
    Status:
    Published
  5. Judging actions on the basis of prima facie duties. The case of self-driving cars
    Authors:
    Piotr Kulicki i Robert Trypuz
    Academic press:
    Logic and Logical Philosophy (rok: 2019, tom: online, strony: 45312), Wydawca: Nicolaus Copernicus University
    Status:
    Published
  6. A deontic machine for prima facie duties
    Authors:
    Piotr Kulicki i Robert Trypuz
    Academic press:
    Journal of Logic and Computation (rok: 2016, tom: brak, strony: brak), Wydawca: Oxford Academic
    Status:
    Submitted
  7. A unified logical framework for reasoning about deontic properties of actions and states of affairs
    Authors:
    Piotr Kulicki, Robert Trypuz, Marek Sergot
    Academic press:
    Synthese , Wydawca: Springer
    Status:
    Submitted
  1. Towards a formal ethics for autonomous cars
    Authors:
    Michael Musielewicz, Piotr Kulicki, Robert Trypuz
    Conference:
    Deontic Logic and Normative Systems (rok: 2018, ), Wydawca: College Publications
    Data:
    konferencja 3-6 lipca 2018
    Status:
    Published