Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Permissions, Information and Institutional Dynamics, Obligations, and Rights

2014/15/G/HS1/04514

Keywords:

deontic logic

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • HS5_1: Theory and philosophy of law, history of law and legal thought
  • HS1_7: Ethics: normative and descriptive, theory of morality, bioethics, professional ethics

Panel:

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

Host institution :

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

woj. lubelskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Piotr Kulicki 

Number of co-investigators in the project: 1

Call: BEETHOVEN 1 - announced on 2014-09-15

Amount awarded: 806 695 PLN

Project start date (Y-m-d): 2015-12-22

Project end date (Y-m-d): 2018-12-21

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

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (9)
  • Articles in post-conference publications (4)
  • Book publications / chapters in book publications (1)
  1. Categorical quantum cryptography for access control in cloud computing
    Authors:
    Lirong Qiu, Xin Sun, Juan Xu
    Academic press:
    Soft Computing (rok: 2017, tom: online first, strony: 45299), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00500-017-2688-2 - link to the publication
  2. Performability of Actions
    Authors:
    Janusz Czelakowski
    Academic press:
    Journal of Logic, Language and Information (rok: 2021, tom: b.d., strony: b.d.), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10849-021-09343-w - link to the publication
  3. Deontic STIT logic, from logical paradox to security policy
    Authors:
    Lirong Qiu, Xin Sun
    Academic press:
    Soft Computing (rok: 2017, tom: online first, strony: 45298), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00500-017-2497-7 - link to the publication
  4. Legal Permissibility and Legal Competences in Hierarchical Systems with Strong Permission
    Authors:
    Olivier Roy, Piotr Kulicki
    Academic press:
    Journal of Zhejiang University (Humanities and Social Sciences Online Edition) (rok: 2020, tom: b.d., strony: b.d.), Wydawca: Zhejiang University
    Status:
    Published
    DOI:
    10.3785/j.issn.1008G942X.CN33G6000/C.2019.12.013 - link to the publication
  5. On the Complexity of Input/Output Logic
    Authors:
    Xin Sun, Livio Robaldo
    Academic press:
    Journal of Applied Logic (rok: 2017, tom: 25, strony: 69-88), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jal.2017.03.002 - link to the publication
  6. Deontology of Compound Actions
    Authors:
    Janusz Czelakowski
    Academic press:
    Studia Logica (rok: 2020, tom: 108, strony: 17288), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-018-9834-4 - link to the publication
  7. From Permissions to Obligations and Beyond: An Editorial.
    Authors:
    Piotr Kulicki, Olivier Roy
    Academic press:
    Studia Logica (rok: 2020, tom: 108, strony: 45294), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-019-09881-2 - link to the publication
  8. Quantum Technique for Access Control in Cloud Computing II: Encryption and Key Distribution
    Authors:
    Lu Zhou, Quanlong Wang, Xin Sun, Piotr Kulicki, Arcangelo Castiglione
    Academic press:
    Journal of Network and Computer Applications (rok: 2018, tom: 22, strony: 6363–6370), Wydawca: Academic Press, Elsevier
    Status:
    Published
    DOI:
    10.1007/s00500-017-2688-2 - link to the publication
  9. Who is obliged when many are involved? Labelled transition system modelling of how obligation arises
    Authors:
    Piotr Kulicki, Robert Trypuz, Marek Sergot
    Academic press:
    Artificial Intelligence and Law (rok: 2020, tom: b.d., strony: b.d.), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10506-020-09279-9 - link to the publication
  1. Multivalued Logics for Conflicting Norms
    Authors:
    Piotr Kulicki, Robert Trypuz
    Conference:
    Deontic Logic and Normative Systems 13th International Conference, DEON 2016, Bayreuth, Germany (rok: 2016, ), Wydawca: College Publications
    Data:
    konferencja July 18-21, 2016
    Status:
    Published
  2. S5 as a Deontic Logic
    Authors:
    Fengkui Ju
    Conference:
    Deontic Logic and Normative Systems. 14th International Conference, DEON 2018 (rok: 2018, ), Wydawca: College Publishing
    Data:
    konferencja 03.07 - 07.07
    Status:
    Published
  3. Conditional Normative Reasoning with Substructural Logics
    Authors:
    Clayton Peterson, Piotr Kulicki
    Conference:
    Deontic Logic and Normative Systems 13th International Conference, DEON 2016, Bayreuth, Germany (rok: 2016, ), Wydawca: College Publications
    Data:
    konferencja July 18-21, 2016
    Status:
    Published
  4. Towards a Formal Ethics for Autonomous Cars
    Authors:
    Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz
    Conference:
    Deontic Logic and Normative Systems. 14th International Conference, DEON 2018 (rok: 2018, ), Wydawca: College Publications
    Data:
    konferencja 03.07 - 07.07
    Status:
    Published
  1. Who should you sue when no-one is behind the wheel: Difficulties in establishing new norms for autonomous vehicles in the European Union
    Authors:
    Michael Musielewicz
    Book:
    Robotics and Well-Being. Intelligent Systems, Control and Automation: Science and Engineering, vol 95 (rok: 2019, tom: b.d., strony: 67-77), Wydawca: Springer
    Status:
    Published