Before revision: REDIRECTquantum log
After revision: Schrödinger logics are a kind of non-classical logic in which the law of identity is restricted.