Piotr Kulicki

From MaRDI portal
Person:513928

Available identifiers

zbMath Open kulicki.piotrMaRDI QIDQ513928

List of research outcomes





PublicationDate of PublicationType
\textit{Brings it about that} operators decomposed with relating semantics2024-06-26Paper
Tableaux for some deontic logics with the explicit permission operator2024-02-29Paper
A unified logical framework for reasoning about deontic properties of actions and states2023-12-12Paper
Free choice permission, legitimization and relating semantics2023-07-06Paper
Book review of: F. Liu et al., Knowledge, proof and dynamics: the fourth Asian workshop on philosophical logic2022-03-15Paper
Judging actions on the basis of prima facie duties. The case of self-driving cars2021-01-08Paper
Conditional normative reasoning with substructural logics2019-07-24Paper
Multivalued logics for conflicting norms2019-07-24Paper
A simple voting protocol on quantum blockchain2019-05-03Paper
Connecting actions and states in deontic logic2017-12-14Paper
Completely and partially executable sequences of actions in deontic context2017-03-08Paper
On deontic action logics based on Boolean algebra2015-11-03Paper
Jerzy Kalinowski's logic of normative sentences revisited2015-07-02Paper
Deontic Logics Based on Boolean Algebra2015-04-10Paper
On minimal models for pure calculi of names2015-04-09Paper
A note on the adequacy of Jerzy Kalinowskis \(\mathbf K_{1}\) logic2015-02-09Paper
A deontic logic of actions and states2014-09-08Paper
https://portal.mardi4nfdi.de/entity/Q54114932014-04-23Paper
https://portal.mardi4nfdi.de/entity/Q54114682014-04-23Paper
How to build a deontic action logic2013-05-15Paper
An axiomatisation of a pure calculus of names2013-01-03Paper
A deontic action logic with sequential composition of actions2012-11-02Paper
A norm-giver meets deontic action logic2012-01-05Paper
A systematics of deontic action logics based on Boolean algebra2011-03-09Paper
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra2010-09-29Paper
https://portal.mardi4nfdi.de/entity/Q43607901998-03-30Paper

Research outcomes over time

This page was built for person: Piotr Kulicki