Logic.- Proof theory.- Modal and temporal logics.- Automated reasoning.- Artificial intelligence.- Knowledge representation and reasoning.- Argumentation.- Nonmonotonic.- default reasoning and belief revision.- Reasoning about belief and logic.- Natural language processing.