Algunos de los sistemas formales más conocidos son la lógica proposicional, la lógica de primer orden y la lógica modal.