<Personal Website of Mehmet Giritli> Basic | Normal       English | Türkçe
Mehmet Giritli For contact information please use the menu on the left.

Mehmet's timeline:

Research interests:
  • General knowledge representation and reasoning with logics, especially modal logics
  • Qualitative and quantitative spatial reasoning with logics for topological spaces, metric spaces, measure spaces, trigonometry and mereotopology
  • Theoretical properties of propositional, intuitionistic, first-order and modal logics: decidability, computational complexity and axiomatics of logics
Recent work (2013):
Mehmet Giritli | Some rights reserved | Accessibility statement | mehmet.giritli.co.uk Last Update: August 16, 2018, 09:45 BST