fol Propositional logic First order logic Description logic Default reasoning Event calculus Epistemic reasoning