We investigate the connection between modal logic and the formal systems recently introduced for arguing about programs. The link is based on the common use of Kripke semantics. The bearing for semantics of some recent results in modal logic is explained. Finally we describe the possibilities to use intesional logic for the semantics of assignments.
CITATION STYLE
van Emde Boas, P. (1978). The connection between modal logic and algorithmic logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 64 LNCS, pp. 1–15). Springer Verlag. https://doi.org/10.1007/3-540-08921-7_52
Mendeley helps you to discover research relevant for your work.