loading page

Modal Logic
  • Eduardo Dixo
Eduardo Dixo
Universidade do Porto
Author Profile


Algebraic logic started in the XIXth century, with the focus on the algebraic investigation of particular classes of algebras and their possible connection to deductive systems. This introductory work intends to address the algebraization of Modal Logic for the third module of the Applied Mathematics doctoral course in Algebra, Logics and Computation.