Topological Product of Modal Logics with the McKinsey Axiom

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 cor...

Full description

Saved in:
Bibliographic Details
Published in:Doklady. Mathematics 2024-02, Vol.109 (1), p.66-72
Main Author: Kudinov, A. V.
Format: Article
Language:English
Subjects:
Mathematics
Mathematics and Statistics
Semantics
Topology
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1064-5624
1531-8362
DOI:10.1134/S1064562424701825