Farinas del Cerro, L. A simple deduction method for modal logic. Information Processing Letters, 14(2), pp. 49-51, 1982

Languages mentioned

• Molog {1987}