Las lógicas clásicas son los sistemas formales más estudiados y utilizados de todos.