Modal definability in Euclidean modal logics
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915446789242880 |
|---|---|
| author | Balbiani, Philippe Tinchev, Tinko |
| author_facet | Balbiani, Philippe Tinchev, Tinko |
| contents | This paper is about the computability of the modal definability problem in classes of frames determined by Euclidean modal logics. We characterize those Euclidean modal logics such that the classes of frames they determine give rise to an undecidable modal definability problem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_10813 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Modal definability in Euclidean modal logics Balbiani, Philippe Tinchev, Tinko Logic in Computer Science Logic This paper is about the computability of the modal definability problem in classes of frames determined by Euclidean modal logics. We characterize those Euclidean modal logics such that the classes of frames they determine give rise to an undecidable modal definability problem. |
| title | Modal definability in Euclidean modal logics |
| topic | Logic in Computer Science Logic |
| url | https://arxiv.org/abs/2508.10813 |