Propositional Dynamic Logics of Programs: a Survey.

Published in: Logic of Programs (1979)

Keyphrases

propositional logic
expressive power
first order logic
dynamic environments
default logic
real time
neural network
search algorithm
logic programs