Stronger classical logics such as second-order logic or infinitary logic are also studied, along with nonclassical logics such as intuitionistic logic.
Се изучуваат и посилните класични логики како логиката од втор ред или бесконечносната логика, заедно со некласичните логики како интуиционистичката логика.