Inadequacy of modal logic in quantum settings.

Nuriya Nurgalieva Lídia del Rio

Published in: QPL (2018)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
situation calculus
nonmonotonic logics
classical logic
epistemic logic
quantum computation
quantum inspired
quantum computing
conditional logic
default logic
quantum mechanics
dynamic logic
sequent calculus
optimal policy
cooperative
machine learning