维尼马,伊德 点、线和菱形:射影平面的两类模态逻辑。 (英语) Zbl 0941.03020号 J.日志。计算。 9,第5号,601-621(1999).MSC公司:03B45号 第51页,共15页 68立方英尺 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema},J.Log。计算。9,第5号,601--621(1999;Zbl 0941.03020) 全文: DOI程序
菲利普·巴尔比亚尼;路易斯·法利尼亚斯·德尔·塞罗;廷切夫、廷科;迪米特·瓦卡洛夫 关联几何的模态逻辑。 (英语) Zbl 0868.03009号 J.日志。计算。 7,第1号,59-78(1997). 审核人:E.Quaisser(波茨坦) MSC公司:03B45号 51A05号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,J.Log。计算。7,第1号,59--78(1997;Zbl 0868.03009) 全文: DOI程序