Propositional Dynamic Logic

[Revised entry by Nicolas Troquard and Philippe Balbiani on January 13, 2015. Changes to: Main text, Bibliography, bisimilar-LTS-tras.png] Logics of programs are modal logics arising from the idea
Philosophy News image
[Revised entry by Nicolas Troquard and Philippe Balbiani on January 13, 2015. Changes to: Main text, Bibliography, bisimilar-LTS-tras.png] Logics of programs are modal logics arising from the idea of associating with each computer program a of a programming language a modality [a]. This idea stems from the line of works by Engeler [1967], Hoare [1969], Yanov [1959], and others who formulated and studied logical languages in which the properties of program connectives can be expressed. The algorithmic logic (AL) first developed by Salwicki [1970] and the dynamic logic (DL)...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus