dynamic logic

Show Summary Details

Quick Reference

A logic for analysing actual processes of computation. It includes a representation of the idea that after every terminating computation according to some program something is true, and after some terminating computation according to a program something is true. These give operations analogous to the necessity and possibility operators of modal logic.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.