РыбаковM. Н. (2017) «Неразрешимость модальных логик одноместного предиката», Логические исследования, 23(2), сс. 60-75. doi: 10.21146/2074-1472-2017-23-2-60-75.