St Andrews, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
| Modal Logic |
| Proof Theory |
| Nonclassical Logics |