  The aim of this paper is to show that even if the natural algebraic semantic
for modal (normal) logic is modal algebra, the more general class of
subordination algebras (roughly speaking, the non symmetric contact algebras)
is adequate too - so leading to completeness results. This motivates for an
algebraic (in the sense of universal algebra) study of those relational
structures that are subordinate algebras.

Logic