Lógicas modales

Las lógicas modales están diseñadas para tratar con expresiones que califican la verdad de los juicios. Así por ejemplo, la expresión "siempre" califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir "está lloviendo" que decir "siempre está lloviendo".

• Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
• Lógica deóntica: Se ocupa de las nociones morales de obligación y permisibilidad.
• Lógica temporal: Abarca operadores temporales como "siempre", "nunca", "antes", "después", etc.
• Lógica epistémica: Es la lógica que formaliza los razonamientos relacionados con el conocimiento.
• Lógica doxástica: Es la lógica que trata con los razonamientos acerca de las creencias.