Nested-sequent Calculus for Modal Logic MB
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915087260844032 |
|---|---|
| author | Kawano, Tomoaki |
| author_facet | Kawano, Tomoaki |
| contents | Quantum logic (QL) is a non-classical logic for analyzing the propositions of quantum physics. Modal logic MB, which is a logic that handles the value of the inner product that appears in quantum mechanics, was constructed with the development of QL. Although the basic properties of this logic have already been analyzed in a previous study, some essential parts still need to be completed. They are concerned with the completeness theorem and the decidability of the validity problem of this logic. This study solves those problems by constructing a nested-sequent calculus for MB. In addition, new logic MB+ with the addition of new modal symbols is discussed.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_00484 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Nested-sequent Calculus for Modal Logic MB Kawano, Tomoaki Logic in Computer Science Quantum logic (QL) is a non-classical logic for analyzing the propositions of quantum physics. Modal logic MB, which is a logic that handles the value of the inner product that appears in quantum mechanics, was constructed with the development of QL. Although the basic properties of this logic have already been analyzed in a previous study, some essential parts still need to be completed. They are concerned with the completeness theorem and the decidability of the validity problem of this logic. This study solves those problems by constructing a nested-sequent calculus for MB. In addition, new logic MB+ with the addition of new modal symbols is discussed. |
| title | Nested-sequent Calculus for Modal Logic MB |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2501.00484 |