search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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