Norgėla, Stanislovas. “Some Decidable Classes of Formulas of Modal Logic S4”. Lietuvos matematikos rinkinys 41, no. spec. (December 17, 2001): 408–412. Accessed November 21, 2024. https://journals.vu.lt./LMR/article/view/34621.