Authors: SKURA T

Citation: T. Skura, A LUKASIEWICZ-STYLE REFUTATION SYSTEM FOR THE MODAL LOGIC S4, Journal of philosophical logic, 24(6), 1995, pp. 573-582