PLIUŠKEVIČIENĖ, A. Įrodymų specializacija modalumo logikai S5. Lietuvos matematikos rinkinys, v. 46, n. spec., p. 242–246, 21 rugs.2023.