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