Los ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la lógica de segundo orden.