%0 Journal Article
%A Hájek, Petr
%A Kalášek, Pavel
%A Kůrka, Petr
%T O dynamické logice
%J Kybernetika
%D 1980
%P 1-41
%V 16
%N Suppl
%U http://geodesic.mathdoc.fr/item/KYB_1980_16_Suppl_a0/
%G cs
%F KYB_1980_16_Suppl_a0