Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.
Blackburn P. Linguistics,logic,and finite trees / P. Blackburn, W. Meyer-Viol, 1994. - 25 p. - Текст : непосредственный.
Blackburn P. Zooming in, zooming out / P.Blackburn,M.de Rijke, 1994. - 22 p. - Текст : непосредственный.
Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.
Blackburn P. Relational methods in logic,language and information / P.Blackburn,M.de Rijke,Y.Venema, 1995. - 17 p. - Текст : непосредственный.
Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.