Work

Decidability of quantum modal logic

Year: 2025

Type: article

Abstract: 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 is used to prove the decidability of quantum modal logic.

Source: Logic Journal of IGPL

DOI: 10.1093/jigpal/jzaf010

Author: Kenji Tokuo

Institutions: National Institute of Technology, National Institute of Technology, Oita College

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Japan Society for the Promotion of Science

Award: Development of inference and computation theory based on quantum logic focusing on implication operations