First order logic; provability logic, logic of proofs; applications of mathematical logic in computer science.
