- theory of models
- recursion theory
- fuzzy logic
- multi-values logics
- proof theory
- higher order logic
- predicate calculus
- classical logic
- algebraic logic
- paraconsistent logics
- combinatorial logics
- Goedel theory
- first order logic
- transition logics
- propositional calculus
- probability logics
- intuitionistic logics