Theory matrices (for modal logics) Using alphabetical monotonicity.

Ian P. Gent Theory matrices (for modal logics) Using alphabetical monotonicity. 233-258 1993 52 Studia Logica 2 db/journals/sLogica/sLogica52.html#Gent93