Dynamic Logic (modal Logic) - Quantification As Random Assignment

Quantification As Random Assignment

The random-assignment statement denotes the nondeterministic action of setting to an arbitrary value. then says that holds no matter what you set to, while says that it is possible to set to a value that makes true. thus has the same meaning as the universal quantifier, while similarly corresponds to the existential quantifier . That is, first-order logic can be understood as the dynamic logic of programs of the form .