Cardinal spaces and topological representations of bimodal logics

被引：1
|
作者：
Loewe, Benedikt
Sarenac, Darko
机构：
[1] Univ Amsterdam, Inst Log Language & Computat, NL-1018 TV Amsterdam, Netherlands
[2] Stanford Univ, Dept Philosophy, Stanford, CA 94305 USA
来源：
LOGIC JOURNAL OF THE IGPL | 2005年 / 13卷 / 03期
关键词：
bimodal logic; topological interpretations of modal logic; ordinals; commutativity; Church-Rosser;
D O I：
10.1093/jigpal/jzi025
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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.
引用
收藏
页码：301 / 306
页数：6
相关论文
共 50 条
12345