Login / Signup

Observational interpretations of hybrid dynamic logic with binders and silent transitions.

Rolf HennickerAlexander KnappAlexandre Madeira
Published in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
  • dynamic logic
  • reasoning about actions
  • imperative programs
  • multiple input
  • propositional dynamic logic
  • modal logic
  • machine learning
  • case based reasoning
  • agent programming
  • classical first order logic