General Dynamic Dynamic Logic.

Patrick Girard Jeremy Seligman Fenrong Liu

Published in: Advances in Modal Logic (2012)

Keyphrases

dynamic logic
special case
dynamically changing
real time
databases
case study
high level
closely related
agent systems
reasoning about actions