Claim: Algebraic logic has nine Logical system and Lindenbaum–Tarski algebra which includes Boolean algebra and Modal algebra (provide models of propositional modal logics).
Evidence: 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 Boolean algebra Modal algebra Modal algebras provide models of propositional modal logics in the same way as Boolean algebras are models of classical logic.