Finite model property of pretransitive analogues of (w)K4 and GL
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917145399525376 |
|---|---|
| author | Dvorkin, Lev |
| author_facet | Dvorkin, Lev |
| contents | A normal modal logic is pretransitive, if the modality corresponding to the transitive closure of an accessibility relation is expressible in it. In the present work we establish the finite model property for pretransitive generalizations of K4, wK4, GL, and their extensions by canonical subframe-hereditary formulas. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_08465 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Finite model property of pretransitive analogues of (w)K4 and GL Dvorkin, Lev Logic 03B45 A normal modal logic is pretransitive, if the modality corresponding to the transitive closure of an accessibility relation is expressible in it. In the present work we establish the finite model property for pretransitive generalizations of K4, wK4, GL, and their extensions by canonical subframe-hereditary formulas. |
| title | Finite model property of pretransitive analogues of (w)K4 and GL |
| topic | Logic 03B45 |
| url | https://arxiv.org/abs/2407.08465 |