Login / Signup

A Dynamic Logic for QASM Programs.

Carlos Tavares
Published in: DaLí (2019)
Keyphrases
  • dynamic logic
  • imperative programs
  • modal logic
  • reasoning about actions
  • agent programming
  • data model
  • modal operators
  • classical first order logic
  • case study
  • general purpose
  • propositional dynamic logic