Authors: VENEMA Y

Citation: Y. Venema, CYLINDRIC MODAL LOGIC, The Journal of symbolic logic, 60(2), 1995, pp. 591-623

Authors: BLACKBURN P VENEMA Y

Citation: P. Blackburn et Y. Venema, DYNAMIC SQUARES, Journal of philosophical logic, 24(5), 1995, pp. 469-523

Authors: VENEMA Y

Citation: Y. Venema, DERIVATION RULES AS ANTI-AXIOMS IN MODAL LOGIC, The Journal of symbolic logic, 58(3), 1993, pp. 1003-1034