Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ - and RMQ *. - Albert J. J. Anglberger; Jonathan Lukic (Stud Logica, 2015)