We characterize all finitary consequence relations over , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic extending has projective unification if and only if contains . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relations over (the lattice of quasivarieties of -algebras) is countable and distributive and it forms a Heyting algebra.
"Modal Consequence Relations Extending : An Application of Projective Unification." Notre Dame J. Formal Logic 57 (4) 523 - 549, 2016. https://doi.org/10.1215/00294527-3636512