March 10, 2024Open Access

Topological product of modal logics with the McKinsey axiom

Puntos clave

Los puntos clave no están disponibles para este artículo en este momento.

Resumen

In this paper we consider the topological products of modal logics of S4.1 and S4. We prove that it is equal to the fusion of logics S4.1 and S4 plus one additional axiom. We also show that this product is decidable. This is an example of a topological product of logics that is greater than the fusion but less than the expanding product of the corresponding logics.

Leer artículo completoexternamente

Me gusta

Guardar

Ver artículo completo

Cite This Study

Andrey Kudinov (Sun,) studied this question.

synapsesocial.com/papers/68e74cd0b6db6435876c528c https://doi.org/https://doi.org/10.48550/arxiv.2403.06334

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1Topological product of modal logics with McKinsey axiom2024
2On Combining Intuitionistic and S4 Modal Logic2024 · 1 citations
3Intuitionistic S4 as a logic of topological spaces2025
4On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$2025
5Intuitionistic S4 as a logic of topological spaces2024

Me gusta

Guardar

Ver artículo completo