Dr Dmitry Tishkovsky

Research projects

Selected publications

Colleagues

Research interests

  • Modal and temporal logics
  • Knowledge representation and reasoning
  • Description logics
  • Multi-agent systems
  • Automated theorem proving
  • Intuitionistic and intermediate logics
  • Algebraisation of logics
Valid XHTML 1.0! Valid CSS! There were 225731 visits of this page since Thu, 10 Feb 2005 16:11:09 GMT.
Last modified: Sat, 28 Jan 2012 15:42:50 GMT.
Copyright ©2005 Dmitry Tishkovsky, School of Computer Science, The University of Manchester