Show/hide main menu

Academic Staff A-Z

Emeritus Professor Dov Gabbay

Dov Gabbay

Email: dov.gabbay@kcl.ac.uk   

Research Group:  Software Systems

About

  • Augustus de Morgan Professor of Logic.
  • Member of the Software Systems group.
  • Co-founder of College Publications.

Research Interests

  • Logical systems
  • Modal and temporal logics
  • Artificial intelligence  

More Information

Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454