2024
Artykuł naukowy w czasopiśmie recenzowany
Artykuł popularnonaukowy w czasopiśmie
- Sztuczna inteligencja jako podróż w Nieznane
[w:] Filozofuj!
2023
Artykuł naukowy w czasopiśmie recenzowany
Wygłoszenie referatu na konferencji międzynarodowej
Inny wyjazd naukowy
Działalność odczytowa
2022
Artykuł naukowy w czasopiśmie recenzowany
- Tableaux for some deontic logics with the explicit permission operator
[w:] Bulletin of the Section of Logic - Book Reviews: FENRONG LIU, HIROAKIRA ONO, JUNHUA YU (eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic
[Recenzje Książek: FENRONG LIU, HIROAKIRA ONO, JUNHUA YU (eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic]
[w:] Studia Logica - Free choice permission, legitimization and relating semantics
[w:] LOGIC JOURNAL OF THE IGPL
Członkostwo w komitecie redakcyjnym czasopisma naukowego
- Członek komitetu redakcyjnego Studia Logica
[w:] Studia Logica
Wygłoszenie referatu na konferencji międzynarodowej
Inny wyjazd naukowy
Profesor wizytujący w zagranicznym ośrodku naukowym
Wykład gościnny w zagranicznym ośrodku naukowym
2021
Artykuł naukowy w czasopiśmie recenzowany
2020
[Wielostronne kwantowe porozumienie bizantyńskie bez splątania]
[w:] Entropy
[Sylogistyka Arystotelesa jako system dedukcyjny]
[w:] Axioms
[Kto jest zobowiązany dgy wielu jest zaangażowanych? Model LTS dla powstawania zobowiązania]
[w:] Artificial Intelligence and Law
[Loteria i aukcja w kwantowym blockchainie]
[w:] Entropy
Wygłoszenie referatu na konferencji międzynarodowej
2019
Artykuł naukowy w czasopiśmie recenzowany
- A simple voting protocol on quantum blockchain
[w:] INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS - Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic
[w:] Entropy - Judging Actions on the Basis of Prima Facie Duties. The case of self-driving cars
[Ocena działań napodstawie obowiązków prima facie. Przypadek samochodów autonomicznych]
[w:] Logic and Logical Philosophy
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
2018
Artykuł naukowy w czasopiśmie recenzowany
- Quantum Technique for Access Control in Cloud Computing II: Encryption and Key Distribution
[Techniki kwantowe kontroli dostępu w chmurze II]
[w:] JOURNAL OF NETWORK AND COMPUTER APPLICATIONS
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
2017
Artykuł naukowy w czasopiśmie recenzowany
2016
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- Conditional Normative Reasoning with Substructural Logics
[Normy warunkowe reprezentowane za pomacą logik substrukturalnych] - Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat-Carcases and Cuts Case Study
[Maszynowo przetwarzalna reprezentacja standardów UNECE dla mięsa. Studium przypadku mięsa wołowego] - Multivalued Logics for Conflicting Norms
[Wielowartościowe logiki dla skonfliktowanych norm] - Dlaczego buduję formalne modele?
2015
Artykuł naukowy w czasopiśmie recenzowany
- On deontic action logics based on Boolean algebra
[O logikach deontycznych działań opartych na algebrze Boole'a]
[w:] JOURNAL OF LOGIC AND COMPUTATION - Completely and partially executable sequences of actions in deontic context
[Całkowicie i częściowo wykonalne sekwencje działań w kontekście deontycznym]
[w:] SYNTHESE - Ontologia praw naukowych w kontekście reprezentacji i udostępniania wyników badań naukowych
[w:] Filozofia Nauki
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
2014
Artykuł naukowy w czasopiśmie recenzowany
- Jerzy Kalinowski's logic of normative sentences revisited
[Jerzego Kalinowskiego logika zdań normatywnych ]
[w:] Studia Logica - Vers des standards automatisés dans la production de viande?
[Ku automatycznym standardom produkcji mięsa?]
[w:] Viandes et Produits Carnés - The Polish School of Argumentation: A Manifesto
[Polska szkoła argumentacji: manifest]
[w:] Argumentation - Semantic representation of proved and disproved statements extracted from scientific papers. Meat science case study
[Semantyczna reprezentacja stwierdzeń uznanych i odrzuconych wyodrębnionych z prac naukowych. Studium przypadku z zakresu nauki o mięsie]
[w:] Information Processing in Agriculture - A note on the adequacy of Jerzy Kalinowski K1 logic
[Nota o adekwatności Jerzego Kalinowskiego systemu K1]
[w:] Bulletin of the Section of Logic
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
2013
Artykuł naukowy w czasopiśmie recenzowany
- On minimal models for pure calculi of names
[O minimalnych modelach dla bezkwantyfikatorowych rachunków nazw]
[w:] Logic and Logical Philosophy
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
2012
Artykuł naukowy w czasopiśmie recenzowany
- A formal ontology of knowing and knowledge
[Formalna ontologia wiedzy i posiadania wiedzy]
[w:] Knowledge Management Research & Practice - An Axiomatisation of a Pure Calculus of Names
[Aksjomatyzacja pewngo bezkwantyfikatorowego rachunku nazw]
[w:] Studia Logica
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- A Deontic Action Logic with Sequential Composition of Actions
[Logika deontyczna działań z sekwencyjną kompozycją działań] - Towards beef production and consumption ontology and its application
[Ku ontologii produkcji i konsumpcji wołowiny i jej aplikacjom] - How to Build a Deontic Action Logic
[Jak budować logikę deontyczną działań]
2011
Książka naukowa recenzowana
Artykuł naukowy w czasopiśmie recenzowany
- A Norm-giver Meets Deontic Action Logic
[Normodawca spotyka deontyczną logikę działań]
[w:] Logic and Logical Philosophy - Using the Perseus system for modelling epistemic interactions
[Korzystanie z systemu Perseus do modelowania epistemicznych interakcji]
[w:] LNCS Transactions on Computational Collective Intelligence - On a Minimal System of Aristotle's Syllogistic
[w:] Bulletin of the Section of Logic