Ледников, Е. «Семантика первопорядковой динамической логики знания». Логические исследования, т. 15, ноябрь 2009 г., сс. 129-36, doi:10.21146/2074-1472-2009-15-0-129-136.