Dynamical Logic
Published on Apr 16, 20097360 Views
Dynamic Logic was developed in the late 1970s by David Harel building on previous work by V.R.Pratt. It is a modal logic and as any modal logic it allows to reason about the truth of statements in dif
