"Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ - and RMQ *."

Albert J. J. Anglberger, Jonathan Lukic (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics