Peregrin, J., 2000. Dynamická logika. Organon F, 7, s.338-348. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/2000/3/338-348.pdf.