• teorie modelů
• teorie rekurze
• fuzzy logika
• vícehodnotové logiky
• teorie důkazů
• logiky vyšších řádů
• predikátový kalkul
• klasická logika
• algebraická logika
• parakonzistentní logiky
• kombinatorické logiky
• Gödelova teorie
• logika prvého řádu
• přechodové logiky
• výrokový kalkul
• pravděpodobnostní logiky
• intuicionistické logiky