Back to Search
Start Over
Topological Product of Modal Logics with the McKinsey Axiom.
- Source :
-
Doklady Mathematics . Feb2024, Vol. 109 Issue 1, p66-72. 7p. - Publication Year :
- 2024
-
Abstract
- We consider products of modal logics in topological semantics and prove that the topological product of S4.1 and S4 is the fusion of logics S4.1 and S4 plus one extra asiom. This is an example of a topological product of logics that is greater than the fusion but less than the semiproduct of the corresponding logics. We also show that this product is decidable. [ABSTRACT FROM AUTHOR]
- Subjects :
- *SEMANTICS (Philosophy)
*LOGIC
Subjects
Details
- Language :
- English
- ISSN :
- 10645624
- Volume :
- 109
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Doklady Mathematics
- Publication Type :
- Academic Journal
- Accession number :
- 177283832
- Full Text :
- https://doi.org/10.1134/S1064562424701825