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

  2. Kolmogorovs 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).