Estudia las reglas de la inferencia, la lógica y las reglas procedimentales, tanto en el mundo real como en sistemas artificiales.