ÞÉÒÉÈÀÃÉ ÓÀÌÄÝÍÉÄÒÏ ÍÀÛÒÏÌÄÁÉÓ ÍÖÓáÀ

  1. A comparision of topological models of the provability logic. Prepublication Series in Logic and Foundation of Mathematics, Tbilisi, Report #98-02, 1998.

  2. Kolmogorov’s method of introducing real numbers (with A. Gagnidze). In Scientific Proc. of the Soros Foundation, Tbilisi, 1999.

  3. Modal logics GL and GRz: semantical comparision. Proc. ESSLLI Student Session, 1999, 91-97.

  4. Tableau system for modalized heyting calculus. The third Tbilisi International Symposium in Language, Logic and Computation, Batumi, 1999.

  5. Modal definability in topology. ILLC Publication, Master of Logic Thesis (MoL) Series, 2001.

  6. On the computational complexity of spatio-temporal logics (with R. Kontchakov, A. Kurucz, F. Wilter, and M. Zakharyaschev). FLAIRS, 2003 (to appear).