Equivalences among logics of programs
作者：
Highlights：
•
摘要
Several different first-order formal logics of programs—Algorithmic Logic, Dynamic Logic, and Logic of Effective Definitions—are compared and shown to be equivalent to a fragment of constructive Lω1ω. When programs are modelled as effective flowcharts, the logics of deterministic and nondeterministic programs are equivalent.
论文关键词：
论文评审过程：Received 9 December 1981, Revised 8 February 1984, Available online 2 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(84)90027-8
