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 axiom. 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.
No takes yet. Share an insight, caveat, or question.
Andrey Kudinov (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: