A Simple Deduction Method for Modal Logic.

Luis Fariñas del Cerro A Simple Deduction Method for Modal Logic. 49-51 1982 14 Inf. Process. Lett. 2 db/journals/ipl/ipl14.html#Cerro82