Reasoning in Quantum Logic

To provide a language with formal syntax and semantics based on modal logic and quantum logic; for a computer-based reasoning, an appropriate calculus needs to be developed which is proved to be correct and complete.