On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
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_ | 1866915700458651648 |
|---|---|
| author | Shapirovsky, Ilya B. Sliusarev, Vladislav V. |
| author_facet | Shapirovsky, Ilya B. Sliusarev, Vladislav V. |
| contents | We investigate pre-local tabularity in normal extensions of the logic $\mathrm{S4}\times \mathrm{S4}$. We show that there are exactly four pre-locally tabular logics in normal extensions of products of finite height, and that every non-locally tabular logic in this family is contained in one of them. We also give an axiomatic criterion of local tabularity above the logic of products with Noetherian skeletons. Finally, we discuss examples of pre-locally tabular extensions of $\mathrm{S4}\times \mathrm{S4}$ outside this class, including logics with the converse and universal modalities. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_20874 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$ Shapirovsky, Ilya B. Sliusarev, Vladislav V. Logic 03B45, 03B62, 06E25, 08B15, 08B20 We investigate pre-local tabularity in normal extensions of the logic $\mathrm{S4}\times \mathrm{S4}$. We show that there are exactly four pre-locally tabular logics in normal extensions of products of finite height, and that every non-locally tabular logic in this family is contained in one of them. We also give an axiomatic criterion of local tabularity above the logic of products with Noetherian skeletons. Finally, we discuss examples of pre-locally tabular extensions of $\mathrm{S4}\times \mathrm{S4}$ outside this class, including logics with the converse and universal modalities. |
| title | On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$ |
| topic | Logic 03B45, 03B62, 06E25, 08B15, 08B20 |
| url | https://arxiv.org/abs/2506.20874 |