5 papers
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…