Definability in Quantum Kripke Frames
Shengyang Zhong

Abstract:
I characterize the first-order definable, bi-orthogonally closed subsets of a quasi-quantum Kripke frame satisfying a reasonable assumption. The techniques are generalization of those in Goldblatt's paper published in 1984. Combining these techniques with Goldblatt's idea, I prove that quantum Kripke frames are not first-order definable in the class of quasi-quantum Kripke frames.