Johan van Benthem is professor of logic and its applications at the University of Amsterdam and professor of philosophy at Stanford University. Dov Gabbay is the Augustus de Morgan Professor of Logic at King’s College, London. Benedikt Löwe is assistant professor at the Institute for Logic, Language and Computation at the University of Amsterdam and director of its graduate program in logic.