1. Abashidze M (1987) Ordinally complete normal extensions of the logic of provability. In: Logic, methodology and philosophy of science, abstracts, vol 5, part 1. Moscow, pp 9–10
2. Abashidze M (1988) Ordinal completeness of modal Gödel-Löb system (Russian). In: Intensional logics and logical structure of theories (Telavi, 1985), Tbilisi, pp 49–73
3. Aiello M, Pratt-Hartmann I, van Benthem J (eds) (2007) Handbook of spatial logics. Springer, Berlin
4. Aleksandrov P (1977) Introduction to set theory and general topology. Nauka, Moscow
5. Aull C, Thron W (1962) Separation axioms between
$$T_0$$
and
$$T_1$$
. Indag Math 24:26–37