Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.20837 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909367918395392 |
|---|---|
| author | Gruszczyński, Rafał Zhao, Zhiguang |
| author_facet | Gruszczyński, Rafał Zhao, Zhiguang |
| contents | The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibility, and we put forward two systems of hybrid logic, one of them complete with respect to the class of dense linear betweenness frames without endpoints, and the other with respect to its subclass composed of Dedekind complete frames. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_20837 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Hybrid logic for strict betweenness Gruszczyński, Rafał Zhao, Zhiguang Logic 03B45, 53C75 The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibility, and we put forward two systems of hybrid logic, one of them complete with respect to the class of dense linear betweenness frames without endpoints, and the other with respect to its subclass composed of Dedekind complete frames. |
| title | Hybrid logic for strict betweenness |
| topic | Logic 03B45, 53C75 |
| url | https://arxiv.org/abs/2410.20837 |