• DML-CZ Home

68C01 

• Hájek, Petr; Kalášek, Pavel; Kůrka, Petr: O dynamické logice. (Czech) [On dynamic logic]. Kybernetika, vol. 16 (1980), issue 7, pp. (1),3-41