C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Visibly Linear Dynamic Logic.
Alexander Weinert
Martin Zimmermann
Published in:
FSTTCS (2016)
Keyphrases
</>
dynamic logic
reasoning about actions
imperative programs
modal logic
closed form
neural network
sufficient conditions
linear model
agent programming
propositional dynamic logic
classical first order logic