dynamická logika
dynamická logika, formální systém vytvořený převážně pracovníky v obl. teorie počítačů, který zobecňuje a roz. šiřuje klas. logiku tak, že vedle for. málních výroků obsahuje i formální program. D. l. se v mnohém shoduje s tzv. algoritmickou log., která však studuje pouze deterministické programy, zatímco obecnější d. l. zahrnuje i programy nedeterministické. Oproti výrokovému kalkulu klas. log. užívá dynamický výrokový kalkul i atomické programy, programové spojky (sjednocení, iterace a konkatenace) a modality ,,možný" a ,,nutný".
