Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference17 articles.
1. M. Abashidze. Algebraic Analysis of the Gödel-Löb Modal System. PhD Thesis, Tbilisi State University, 1987, In Russian.
2. G. Bezhanishvili, L. Esakia and D. Gabelaia. Spectral and T0-spaces in d-semantics. In 8th International Tbilisi Symposium on Logic, Language, and Computation. Selected papers, N. Bezhanishvili, S. Löbner, K. Schwabe, L. Spada, eds, pp. 16–29. Springer-Verlag Berlin Heidelberg, 2011.
3. Infinitary combinatorics and modal logic
4. Blackburn P. de Rijke M. Venema Y. Modal Logic, Cambridge University Press, 2002.
5. An algebraic study of tense logics with linear time