Ibrulj, N. Saul A. "KRIPKE TEOREM KOMPLETNOSTI U MODALNOJ LOGICI" / Saul A "A COMPLETENESS THEOREM IN MODAL LOGIC". SOP 2021, 213-229.