Cardinal spaces and topological representations of bimodal logics
暂无分享,去创建一个
We look at bimodal logics interpreted by cartesian products of topological spaces and discuss the validity of certain bimodal formulae in products of so-called cardinal spaces. This solves an open problem of van Benthem et al.
[1] A. Tarski,et al. The Algebra of Topology , 1944 .
[2] Guram Bezhanishvili,et al. Modal Logics for Products of Topologies , 2004 .