Quantum logic as a dynamic logic.

Alexandru Baltag Sonja Smets

Published in: Synth. (2011)

Keyphrases

dynamic logic
modal logic
propositional dynamic logic
reasoning about actions
classical first order logic
imperative programs
quantum computation
logic circuits
evolutionary algorithm
dynamic environments
quantum mechanics
modal operators
agent programming
quantum computing