Artificial intelligence
Epistemic modal logic
Modal logic
Alan Turing
Logic
Jeroen Groenendijk
Hans Kamp
Science
British people
Academia