Institutions for Behavioural Dynamic Logic with Binders.

Rolf Hennicker Alexandre Madeira

Published in: ICTAC (2017)

Keyphrases

dynamic logic
reasoning about actions
modal logic
imperative programs
machine learning
classical first order logic
academic community
collective decision making
data sets
multiple input
propositional dynamic logic