mathematical logic
subfield of mathematics
automated theorem proving
subfield of automated reasoning dealing with proving theorems by computer programs
non-monotonic logic
formal logic whose conclusion relation is not monotonic
model theory
study of classes of mathematical structures from the perspective of mathematical logic
proof theory
branch of mathematical logic
algebraic logic
reasoning about equations with free variables
intermediate logic
propositional logic extending intuitionistic logic
temporal logic
system for representing and reasoning about time
computability theory
study of computable functions and Turing degrees