Locally tabular products of modal logics
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917895948206080 |
|---|---|
| author | Shapirovsky, Ilya B. Sliusarev, Vladislav |
| author_facet | Shapirovsky, Ilya B. Sliusarev, Vladislav |
| contents | In the product $L_1\times L_2$ of two Kripke complete consistent logics, local tabularity of $L_1$ and $L_2$ is necessary for local tabularity of $L_1\times L_2$. However, it is not sufficient: the product of two locally tabular logics may not be locally tabular. We provide extra semantic and axiomatic conditions that give criteria of local tabularity of the product of two locally tabular logics, and apply them to identify new families of locally tabular products. We show that the product of two locally tabular logics may lack the product finite model property. We give an axiomatic criterion of local tabularity for all extensions of $S4.1 [ 2 ]\times S5$. Finally, we describe a new prelocally tabular extension of $S{4}\times S{5}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_01670 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Locally tabular products of modal logics Shapirovsky, Ilya B. Sliusarev, Vladislav Logic Logic in Computer Science 03B45, 03B62, 06E25 F.4.1 In the product $L_1\times L_2$ of two Kripke complete consistent logics, local tabularity of $L_1$ and $L_2$ is necessary for local tabularity of $L_1\times L_2$. However, it is not sufficient: the product of two locally tabular logics may not be locally tabular. We provide extra semantic and axiomatic conditions that give criteria of local tabularity of the product of two locally tabular logics, and apply them to identify new families of locally tabular products. We show that the product of two locally tabular logics may lack the product finite model property. We give an axiomatic criterion of local tabularity for all extensions of $S4.1 [ 2 ]\times S5$. Finally, we describe a new prelocally tabular extension of $S{4}\times S{5}$. |
| title | Locally tabular products of modal logics |
| topic | Logic Logic in Computer Science 03B45, 03B62, 06E25 F.4.1 |
| url | https://arxiv.org/abs/2404.01670 |