2 citations · 2 across the 7 of their papers we have counts for
7 papers
Spectral Sign Implication for Quantum Logic
Kenji Tokuo
We study the spectral sign implication for quantum logic, defined by the nonnegative spectral projection of the operator obtained by subtracting the antecedent projection from the…
Multimodal Logic Programming with Full Formulas
Kenji Tokuo
This paper presents a first-order multimodal logic programming system called MMLP. The system accepts arbitrary formulas as both programs and queries, without restricting either si…
QBism Logic
Kenji Tokuo
QBism interprets quantum theory as a normative discipline for an agent's probability assignments and their revision across possible experience. This paper develops a logical formal…
Component Modalities of Quantum Logic
Kenji Tokuo
This paper determines the structural and proof-theoretic consequences of the forcing condition in relational quantum modal logic, under which every modal transition available at a…
Decidability of Quantum Modal Logic
Kenji Tokuo
The decidability of a logical system refers to the existence of an algorithm that can determine whether any given formula in that system is a theorem. In this paper, Harrop's lemma…
Quantum modal logic
Kenji Tokuo
A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and th…