Non-classical logic
Logic programming
Defeasible logic
Inference
Non-monotonic logic
Æ
Stratification
First-order logic
Logic
Mathematical logic
Reasoning