Norgėla, Stasys. “Some Decidable Classes of Modal Logic S5”. Lietuvos matematikos rinkinys 39, no. III (December 17, 1999): 322–325. Accessed November 7, 2025. https://www.zurnalai.vu.lt/LMR/article/view/35643.