My main research areas are:

  • Completeness/axiomatization and decidability/complexity of applied non-classical logics:
    • SPATIAL LOGICS
    • INFORMATION LOGICS
    • PROPOSITIONAL DYNAMIC LOGICS
    • DYNAMIC EPISTEMIC LOGICS
    • MULTIDIMENSIONAL MODAL LOGICS
  • Theoretical and algorithmic aspects of spatial and temporal reasoning:
    • RECTANGLE ALGEBRA
    • ALGEBRA OF GENERALIZED INTERVALS
    • ALGEBRA OF CYCLIC INTERVALS
    • ALGEBRA OF CARDINAL DIRECTIONS
    • CONTACT ALGEBRAS

© 2021 LILaC