On the Modal Logic of the Non-orthogonality Relation Between Quantum States.
Shengyang ZhongPublished in: J. Log. Lang. Inf. (2018)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- situation calculus
- default logic
- nonmonotonic logics
- initial state
- conditional logic
- explanation based generalization
- prime implicates
- autoepistemic logic
- quantum computation
- classical logic
- model checking
- zernike moments
- finite state machines
- higher order
- bayesian networks