Wilfried Meyer-Viol Author

Ruth Kempson is Leverhulme Research Professor of Linguistics at the Department of Philosophy, King's College London. She is editor of Mental Representations (1988) and Deduction and Language (1995).

Wilfried Meyer-Viol is Lecturer in the Department of Philosophy at King's College London. He is a logician with a background in psychology who has published on cognitive psychology and on classical, intuitionistic and modal logic.

Dov Gabbay is Professor of Computer Science at King's College London. He is one of the world's foremost authorities on non-classical logics and their applications in computing. He has published over 170 papers and books on this subject, and initiated several currently active research areas in logic and computation.