Frame problem in dynamic logic.

Dongmo Zhang Norman Y. Foo

Published in: J. Appl. Non Class. Logics (2005)

Keyphrases

dynamic logic
reasoning about actions
modal logic
imperative programs
frame rate
classical first order logic
video frames
artificial intelligence
consecutive frames
agent programming
data sets
video sequences
object oriented
propositional dynamic logic