Home > Philosophy, Logic and Scientific Method > People > David Makinson, Professor


David Makinson, Professor

David Makinson is currently a Professor in the Department. Previously he has been a Senior Research Fellow in the Department of Computer Science at King's College London (KCL), Chairman of the Department in the American University of Beirut, Lebanon, and Programme Specialist with Unesco.

Areas of expertise:

  • Logic and its relations with other disciplines, particularly philosophy and computer science
  • Logic of belief change
  • Nonmonotonic reasoning
  • Input/output logics
  • Logic of normative systems
  • Logical friendliness
  • Qualitative versus quantitative analyses of uncertain reasoning
  • Relevance criteria for belief change operations