2 citations · 2 across the 7 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
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…
cs.LO2026
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…
cs.LO2025★ 2 cited
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…