比姆博,卡塔林;J.Michael Dunn Kleene逻辑和动作逻辑的关系语义。 (英语) Zbl 1099.03014号 圣母院J.形式逻辑 46,第4期,461-490(2005). 审核人:Albert A.Mullin(麦迪逊) MSC公司:03B47号 70年第68季度 03B60号 03B45号 05年3月 03立方厘米13 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó}和\textit{J.M.Dunn},圣母院《形式逻辑》46,第4期,461-490(2005年;Zbl 1099.02014) 全文: 内政部
比姆博,卡塔林 对偶和对称组合计算的语义。 (英语) Zbl 1054.03012号 J.菲洛斯。日志。 33,第2期,125-153(2004). 审核人:马丁·邦德(伍伦贡) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó},J.Philos。日志。33,第2号,第125--153条(2004;Zbl 1054.03012) 全文: 内政部
比姆博,卡塔林;邓恩,J.迈克尔 四值逻辑。 (英语) Zbl 1034.03021号 圣母院J.形式逻辑 42,第3期,171-192(2001).MSC公司:03B47号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó}和\textit{J.M.Dunn},圣母院J.形式逻辑42,第3期,171--192(2001;Zbl 1034.03021) 全文: 内政部
比姆博,卡塔林 结构自由逻辑LC+的语义。 (英语) Zbl 0986.03019号 日志。J.IGPL公司 9,第4期,525-539(2001). 审核人:Heinrich Wansing(德累斯顿) MSC公司:03B47号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó},日志。J.IGPL 9,第4号,525--539(2001;Zbl 0986.03019) 全文: 内政部