Mathematical logic

algebraic logic non-monotonic logic automated theorem proving model theory intermediate logic temporal logic computability theory proof theory