"dynamic logic" -
related articles and key terms
Related terms:
logic
Wikipedia sources:
Modal logic
Logic family
Context for words:
dynamic
logic