• Publications
  • Influence
On deontic action logics based on Boolean algebra
TLDR
The aim of the paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra and propose a minimal axiomatic characterisation of obligation with an adequate class of models. Expand
A formal ontology of knowing and knowledge
TLDR
It is shown that F2KMO is consistent and prove its usefulness by defining the logical schema of a database based on the theory, and specifies the primitive, that is, undefined terms the authors assume, the axioms whose role is to fix the meanings of those terms, and a number of definitions that correspond to the definitions in the latest exposition of Formal Knowledge Management Ontology. Expand
Multivalued Logics for Conflicting Norms
A Simple Voting Protocol on Quantum Blockchain
TLDR
A simple voting protocol based on Quantum Blockchain that satisfies the most important properties of secure voting protocols: is anonymous, binding, non-reusable, verifiable, eligible, fair and self-tallying. Expand
A systematics of deontic action logics based on Boolean algebra
Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositionalExpand
Quantum technique for access control in cloud computing II: Encryption and key distribution
TLDR
This paper formalizes the encryption scheme and protocol for key distribution in the setting of categorical quantum mechanics (CQM) and possesses several advantages over existing schemes/protocol proposed in the state of the art for the same purpose. Expand
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
TLDR
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra with an axiomatic characterisation of obligation with an adequate class of models. Expand
Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic
TLDR
A unconditionally secure signature scheme for LC which makes it immune to the attack of quantum computers, and a logic-based scripting language for the creation of smart contracts on LC which illustrates the power and usage of LC. Expand
Two Faces of Obligation
In the paper we discuss different intuitions about the properties of obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguishedExpand
A Formal Model for Epistemic Interactions
TLDR
The goal is to devise a formal model for epistemic interactions and a family of reasoning mechanisms that would solve those puzzles in which agents either collaborate or compete with one another in order to adopt their epistemological situations to their environment. Expand
...
1
2
3
4
5
...