Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.
Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.
Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 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. - Текст : непосредственный.
Rijke M.de The logic peirce algebras / M.de Rijke, 1994. - 23 p. - Текст : непосредственный.
Blackburn P. Relational methods in logic,language and information / P.Blackburn,M.de Rijke,Y.Venema, 1995. - 17 p. - Текст : непосредственный.
Montanari A. Two-sorted metric temporal logics / A.Montanari,M.de Rijke, 1995. - 27 p. - Текст : непосредственный.
Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.
Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.