The finite frame property of some extensions of the pure logic of necessitation
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913397525708800 |
|---|---|
| author | Kurahashi, Taishi Sato, Yuta |
| author_facet | Kurahashi, Taishi Sato, Yuta |
| contents | We study the finite frame property of some extensions of Fitting, Marek, and Truszczyński's pure logic of necessitation $\mathbf{N}$. For any natural numbers $m, n$, we introduce the logic $\mathbf{N}^+\mathbf{A}_{m, n}$ by adding the single axiom scheme $\Box^n φ\to \Box^m φ$ and the rule $\dfrac{\neg \Box φ}{\neg \Box \Box φ}$ (Ros$^\Box$) into $\mathbf{N}$. We prove the finite frame property of $\mathbf{N}^+\mathbf{A}_{m, n}$ with respect to Fitting, Marek, and Truszczyński's relational semantics. We also prove that for $n \ge 2$, the logic obtained by removing the rule Ros$^\Box$ from $\mathbf{N}^+\mathbf{A}_{0, n}$ is incomplete with respect to that semantics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_14762 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | The finite frame property of some extensions of the pure logic of necessitation Kurahashi, Taishi Sato, Yuta Logic We study the finite frame property of some extensions of Fitting, Marek, and Truszczyński's pure logic of necessitation $\mathbf{N}$. For any natural numbers $m, n$, we introduce the logic $\mathbf{N}^+\mathbf{A}_{m, n}$ by adding the single axiom scheme $\Box^n φ\to \Box^m φ$ and the rule $\dfrac{\neg \Box φ}{\neg \Box \Box φ}$ (Ros$^\Box$) into $\mathbf{N}$. We prove the finite frame property of $\mathbf{N}^+\mathbf{A}_{m, n}$ with respect to Fitting, Marek, and Truszczyński's relational semantics. We also prove that for $n \ge 2$, the logic obtained by removing the rule Ros$^\Box$ from $\mathbf{N}^+\mathbf{A}_{0, n}$ is incomplete with respect to that semantics. |
| title | The finite frame property of some extensions of the pure logic of necessitation |
| topic | Logic |
| url | https://arxiv.org/abs/2305.14762 |