Visibly linear dynamic logic.

Alexander Weinert Martin Zimmermann

Published in: Theor. Comput. Sci. (2018)

Keyphrases

dynamic logic
modal logic
reasoning about actions
propositional dynamic logic
imperative programs
case study
linear model
transfer function
linear systems
database
neural network
reverse engineering
agent programming
classical first order logic