An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.

Josep Maria Font Miquel Rius An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. 481-518 2000 65 J. Symb. Log. 2 db/journals/jsyml/jsyml65.html#FontR00