Горбунов, И. А. «Конечная аксиоматизируемость квазинормальных модальных логик». Логические исследования, т. 25, вып. 1, май 2019 г., сс. 88-99, doi:10.21146/2074-1472-2019-25-1-88-99.