Piotr Kulicki
Piotr Kulicki
John Paul II Catholic University of Lublin
Verified email at l3g.pl - Homepage
Title
Cited by
Cited by
Year
A systematics of deontic action logics based on boolean algebra
R Trypuz, P Kulicki
Logic and Logical Philosophy 18 (3-4), 253-270, 2009
322009
On deontic action logics based on Boolean algebra
R Trypuz, P Kulicki
Journal of Logic and Computation 25 (5), 1241-1260, 2015
262015
A simple voting protocol on quantum blockchain
X Sun, Q Wang, P Kulicki, M Sopek
International Journal of Theoretical Physics 58 (1), 275-281, 2019
182019
Towards metalogical systematisation of deontic action logics based on boolean algebra
R Trypuz, P Kulicki
International Conference on Deontic Logic in Computer Science, 132-147, 2010
182010
The Polish school of argumentation: a manifesto
K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ...
Argumentation 28 (3), 267-282, 2014
172014
Quantum Technique for Access Control in Cloud Computing II: Encryption and Key Distribution
L Zhou, Q Wang, X Sun, P Kulicki, A Castiglione
Journal of Network and Computer Applications, 2017
152017
A norm-giver meets deontic action logic
R Trypuz, P Kulicki
Logic and Logical Philosophy 20 (1-2), 59-72, 2011
122011
Do you still want to vote for your favorite politician? Ask Ontobella!
P Garbacz, M Lechniak, P Kulicki, R Trypuz
FOMI, 102-113, 2009
102009
Ontology-based representation of scientific laws on beef production and consumption
P Kulicki, R Trypuz, R Trójczak, J Wierzbicki, A Woźniak
Research Conference on Metadata and Semantic Research, 430-439, 2013
92013
A deontic action logic with sequential composition of actions
P Kulicki, R Trypuz
International Conference on Deontic Logic in Computer Science, 184-198, 2012
82012
How to Build a Deontic Action Logic
P Kulicki, R Trypuz
The Logica Yearbook 2011, 107-120, 2012
82012
Quantum-enhanced logic-based blockchain i: Quantum honest-success byzantine agreement and qulogicoin
X Sun, Q Wang, P Kulicki, X Zhao
arXiv preprint arXiv:1805.06768, 2018
72018
Towards beef production and consumption ontology and its application
P Kulicki, R Trypuz, J Wierzbicki
72012
Two Faces of Obligation
P Kulicki, R Trypuz
Theory of Imperatives from Different Points of View (2), 70 - 82, 2013
62013
An Axiomatisation of a Pure Calculus of Names
P Kulicki
Studia Logica 100 (5), 921-946, 2012
62012
Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic
X Sun, M Sopek, Q Wang, P Kulicki
Entropy 21 (8), 723, 2019
52019
Multivalued Logic for Conflicting Norms
P Kulicki, R Trypuz
Deontic Logic and Normative Systems 13th International Conference, DEON 2016 …, 2016
52016
On deontic action logics based on boolean algebra
P Kulicki, R Trypuz
Journal of Logic and Computation 25 (5), 2013
52013
Doing the right things - trivalence in deontic action logic
P Kulicki, R Trypuz
Trivalent Logics and their applications, Proceedings of the ESSLLI 2012 …, 2012
52012
Towards a formal ontology for history of church administration.
P Garbacz, R Trypuz, B Szady, P Kulicki, P Gradzki, M Lechniak
FOIS, 345-358, 2010
52010
The system can't perform the operation now. Try again later.
Articles 1–20