Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical values and creation of a formal theory of norm and action on the base of the existing systems of deontic action logic and action theory

2011/01/D/HS1/04445

Keywords:

deontic logic theory of norms theory of action practical reasoning

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • HS5_1: Theory and philosophy of law, history of law and legal thought
  • ST6_3: Software engineering, operating systems, software development methods, programming languages

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: 3

Call: SONATA 1 - announced on 2011-03-15

Amount awarded: 130 500 PLN

Project start date (Y-m-d): 2011-12-16

Project end date (Y-m-d): 2014-12-15

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

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (4)
  • Articles in post-conference publications (4)
  • Book publications / chapters in book publications (1)
  1. A Note on the Adequacy of Jerzy Kalinowski's K1 Logic
    Authors:
    Piotr Kulicki
    Academic press:
    Bulletin of the Section of Logic (rok: 2014, tom: 43/3-4, strony: 183-190), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Published
    DOI:
    brak - link to the publication
  2. Jerzy Kalinowski's Logic of Normative Sentences Revisited
    Authors:
    Robert Trypuz, Piotr Kulicki
    Academic press:
    Studia Logica (rok: 2014, tom: -, strony: -), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-014-9572-1 - link to the publication
  3. Completely and partially executable sequences of actions in deontic context
    Authors:
    Piotr Kulicki, Robert Trypuz
    Academic press:
    Synthese (rok: 2014, tom: -, strony: -), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11229-014-0604-1 - link to the publication
  4. On deontic action logics based on Boolean algebra
    Authors:
    Robert Trypuz, Piotr Kulicki
    Academic press:
    Journal of Logic and Computation (rok: 2013, ), Wydawca: Oxford University Press
    Status:
    Published
    DOI:
    10.1093/logcom/ext057 - link to the publication
  1. A deontic logic of actions and states
    Authors:
    Robert Trypuz, Piotr Kulicki
    Conference:
    12th International Conference on Deontic Logic and Normative Systems (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 12 – 15 lipiec
    Status:
    Published
  2. Doing the right things - trivalence in deontic action logic
    Authors:
    Piotr Kulicki and Robert Trypuz
    Conference:
    Trivalent Logics and their applications (Proceedings of the ESSLLI 2012 Workshop) (rok: 2012, ), Wydawca: Paul Egre
    Data:
    konferencja 13-17 sierpnia 2012
    Status:
    Published
    DOI:
    link to the publication
  3. A deontic action logic with sequential composition of actions
    Authors:
    Kulicki, Piotr; Trypuz, Robert
    Conference:
    Deontic Logic in Computer Science (rok: 2012, ), Wydawca: Springer (seria: Lecture Notes in Computer Science)
    Data:
    konferencja 16-18 lipca 2012
    Status:
    Published
  4. How to Build a Deontic Action Logic
    Authors:
    Piotr Kulicki and Robert Trypuz
    Conference:
    Logica (rok: 2012, ), Wydawca: College Publications
    Data:
    konferencja 20-24 CZERWCA 2011
    Status:
    Published
  1. Two faces of obligation
    Authors:
    Piotr Kulicki, Robert Trypuz
    Book:
    Theory of Imperatives from Different Points of View (rok: 2013, tom: 7, strony: 70-82), Wydawca: Wydawnictwo Naukowe Semper
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy