Description: Department of Mathematics, Logic Group. Research interests: model theory, uncertain reasoning and logical aspects of AI, variants of classical set theory and their applications, and formalisation in theory and practice. Members, courses.