Claim: Algebraic logic has nine Logical system and Lindenbaum–Tarski algebra which includes Boolean algebra and Modal algebra.
Evidence: Boolean algebra Modal algebra Heyting algebra MV-algebra Interior algebra Monadic Boolean algebra Complete Boolean algebra, polyadic algebra, predicate functor logic Cylindric algebra Combinatory logic, relation algebra Classical sentential logic Intuitionistic propositional logic Łukasiewicz logic Modal logic K Lewis's S4 Lewis's S5, monadic predicate logic First-order logic First-order logic with equality Set theory