Intensional logic
approach to predicate logic
Transparent Intensional Logic
logical system used primarily in logical analysis of natural language
modal logic
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.