Mode: Basic | Normal    Language: English | Türkçe    Feeds: Website Feed
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):