Kybernetika 16 no. 7, 1-41, 1980

On dynamic logic

Petr Hájek, Pavel Kalášek and Petr Kůrka

Classification:

03B45, 68Q60, 68C01, 03B60, 68Q65

paper.pdf