Dov Gabbay Prize for Logic and Foundations