菲利普·巴尔比亚尼;廷切夫、廷科 带关系的布尔逻辑。 (英语) Zbl 1206.03019号 J.日志。阿尔盖布。程序。 79,第8期,707-721(2010). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev},J.Log。阿尔盖布。程序。79,第8号,707--721(2010;Zbl 1206.03019) 全文: 内政部
菲利普·巴尔比亚尼 具有合成和交集的相对模态逻辑完备性的新证明。 (英语) Zbl 1032.03012号 J.应用。非类别。日志。 11,编号3-4,269-280(2001).MSC公司:03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani},J.应用。非类别。日志。11,编号3-4-269-280(2001年;兹bl 1032.03012) 全文: 内政部 哈尔
菲利普·巴尔比亚尼;迪米特·瓦卡雷洛夫 带交集的无迭代PDL:一个完整的公理化。 (英语) Zbl 0976.03037号 芬丹。通知。 45,第3期,173-194(2001).MSC公司:03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{D.Vakarelov},Fundam。通知。45,第3号,173--194(2001;Zbl 0976.03037)
菲利普·巴尔比亚尼;路易斯·法利尼亚斯·德尔·塞罗;廷切夫、廷科;迪米特·瓦卡雷洛夫 关联几何的模态逻辑。 (英语) 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) 全文: 内政部
菲利普·巴尔比亚尼;安德烈亚斯·赫齐格 从可证明的模态逻辑到K4的翻译。 (英语) Zbl 0802.03013号 J.应用。非类别。日志。 4,第1期,73-77(1994年). 审核人:L.F.Goble(塞勒姆) MSC公司:03B45号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{A.Herzig},J.Appl。非类别。日志。4,编号1,73--77(1994;Zbl 0802.03013) 全文: 内政部