Translation from Three-Valued Quantum Logic to Modal Logic

We translate the three-valued quantum logic into modal logic, and prove 3-equivalence between the valuation of the three-valued logic and a kind of Kripke model in regard to this translation. To prove 3-equivalence, we introduce an observable-dependent logic, which is a fragment of the many-valued quantum logic. Compared to the Birkhoff and von Neumann’s quantum logic, some notions about observables, the completeness relation for example, in quantum mechanics can be utilized if the observable-dependent logic is employed.

the (Pykacz's) many-valued quantum logic, the truth value was regarded as the transition probability in quantum mechanics. In particular, since only the probabilities 1 and 0 represent certainty unlike other probabilities in the open interval (0, 1), a three-valued quantum logic with truth values T (certainly true), F (certainly false), and I (indeterminate) is worth considering.
In this paper, we translate the three-valued quantum logic to modal logic. Just as the Goldblatt translation [8] helps to understand the Birkhoff and von Neumann's quantum logic in the language of modal logic, our translation helps to understand the three-valued quantum logic in it: the truth values T, F, I of a formula α are translated into α (α is necessary true), ♦α ∧ ♦¬α (α is coincidentally true), and ¬α (α is necessary false) respectively. Although this kind of translation from three-valued logic to modal logic is already known as 3-equivalence in [9], it was not known whether 3-equivalence holds in the three-valued "quantum" logic as well.
The translation from the three-valued quantum logic to modal logic distinguishes ontic truth (i.e. truth independent of an observer) and epistemic truth. That is, |= α represents ontic truth of α but |= α or |= ♦α represents epistemic truth of α. Since epistemic logic is formulated as a kind of modal logic with the modal operators, this translation helps to understand and describe the epistemic aspect of quantum mechanics.
The distinction between ontic and epistemic truth is needed in light of epistemic nature of quantum mechanics. As some no-go theorems such as the Bell's theorem and the Kochen-Specker theorem assert, a kind of realistic interpretations of quantum mechanics have been failed. That is, quantum objects cannot exist completely independent of or irrelevant from an observer: the measured value of a quantum object is not determined before it is measured by an observer. Accordingly, truth in quantum mechanics should be expressed with the modal operators. 1 To construct the translation and prove its 3-equivalence, we first introduce new quantum logic which can express statements about an observable in quantum mechanics. We call this logic observable-dependent logic. Unlike the traditional or many-valued quantum logic, each formula in the observable-dependent logic represents a physical property α of an observable corresponding to the self-adjoint operator A in a pure |ψ . The observabledependent logic is preferable from the perspective of physics, because quantum observation is executed only when it is specified what observable is going to be observed. In quantum mechanics, a target observable must be determined before executing the observation, and then an observer can confirm whether the physical property is true or not. This paper is organized as follows: In Section 2, we review some basic notions about the many-valued quantum logic. In Section 3, we extend the definition of 3-equivalence for S5 to that of any modal system not restricted to S5. In Sections 4 and 5, we define a kind of many-valued logic called observable-dependent logic and prove some properties of it. This logic is utilized to prove our main theorem (Theorem 5), namely 3-equivalence (in a broad sense defined in Section 3) between the valuation of the three-valued quantum logic and a kind of Kripke model in Section 6. Finally, we conclude our paper in Section 7.

Many-Valued Quantum Logic
Quantum logic is the logic of quantum mechanics originated from Birkhoff and von Neumann's paper [2]. The Birkhoff and von Neumann's quantum logic is formulated as a kind of orthomodular lattice called Hilbert lattice [18]. This lattice consists of all the closed subspaces M of a Hilbert space H, or equivalently (self-adjoint) projections onto M by the projection theorem. Different from a Boolean lattice (i.e. classical logic), a Hilbert lattice does not satisfy the distributive law in general. Roughly speaking, this is the difference between quantum and classical mechanics from the logical viewpoint.
By the projection theorem in Hilbert space theory, any x ∈ H is uniquely decomposed into x in the given closed subspace M ⊆ H and y in its orthogonal complement M ⊥ ⊆ H, that is, Thus, there is the one-to-one correspondence between M and the projection P M onto M.
The notion of projections is significant in quantum mechanics, because projective measurement causes the state transition from a pure state |ψ to the other pure state P M |ψ / P M |ψ . More precisely, if the physical property α is observed in |ψ , the state |ψ is transitioned into P [ Since the Birkhoff and von Neumann's quantum logic is not classical (because of invalidity of the distributive law) but two-valued, it cannot describe the probabilistic behavior of quantum phenomena quantitatively. Thus, it is reasonable to assign a [0, 1]-truth value to such kind of statement. For example, consider the sentence "There will be a sea battle tomorrow." This sentence is neither true nor false at the present time. Likewise, the sentence "A photon will pass through a filter" is also neither true nor false. Instead of true or false, the truth value of this kind of statements should be interpreted as probability. Along this line of thought, Pykacz suggested and developed a many-valued quantum logic [15].
Let L q be the set of all the formulas of the many-valued quantum logic. 3 It consists of the propositional function α(|ψ ), which stands for the statement "The physical property α is observed in a pure state |ψ ." The definition of the logical connectives in the many-valued quantum logic does not play an essential role in this paper. Thus, we omit it, and see [16] for a more detailed explanation about this topic instead. The valuation v q (α(|ψ )) of α(|ψ ) is defined as the probability of observing the physical property α in |ψ [14], namely That is, v q is the function from L q to the closed interval [0, 1].
We emphasize that the Birkhoff and von Neumann's quantum logic is not [0, 1] but twovalued, because it can only deal with α in a post-measurement state. By the projection theorem mentioned above, the property α was either observed or not when the observation is done. (I) If α was observed in |ψ , the state was transitioned into P [[α]] |ψ . The probability v q (α(P [[α]] |ψ )) of observing α again in the state is the inner product of where I stands for the identity operator and 0 stands for the zero vector. Thus, v q (α, P [[α]] ⊥ |ψ ) = 0. As a result, the truth value is either 1 or 0 when the observation is done.

The Definition of 3-Equivalence for Quantum Logic
Let {T , I, F } be the set of all the truth values of a three-valued logic, which intended to be "True", "Indeterminate" and "False" respectively. The valuation v 3 from the set L 3 of all the formulas of a three-valued logic to {T , I, F } is given by some truth tables. v 3 and an S5- , namely a Kripke model which consists of an equivalence relation E, are said to be 3-equivalent [9] if there exist functions τ T , τ F , τ I from L 3 to the set L ML of all the formulas of modal logic such that 3 for each S5-model and the existence of S5-model for each 3-equivalent v 3 was proved [9] by the translation rules Unfortunately, this result of [9] fails to make the best use of the expressive power of modal logic, because there are various modal systems such as T, S4, B, D and so on. However, there seems to be a legitimate reason to assume to be S5. Since every α ∈ L 3 is defined independently of any states in W , the distinction between states must be disappeared in the modal system. Thus, a Kripke model M must satisfy the condition for any α ∈ L ML , that is, any formula which consists of the modal operator(s) or ♦ holds in some state if and only if it also holds in all states. Since this condition (S5) is satisfied if M is an S5-model, the notion of 3-equivalence was defined only for S5-model in [9]. In fact, if each formula depends on a state, it is no longer necessary to assume to be S5. Thus, we redefine the notion of 3-equivalence by removing the assumption that the model must be S5. Let α(w) be a formula of a so-called state-dependent three-valued logic for any w ∈ W . Instead of L 3 , we use the symbolĽ 3 as the set of all the formulas of this logic, because α(w) ∈Ľ 3 depends on w unlike α ∈ L 3 . The valuationv 3 of this logic and an Kripke model M = (W, R, V ) are said to be 3-equivalent if there exist functionsτ T ,τ F , One of the most typical examples of the state-dependent three-valued logic is the threevalued quantum logic. From the perspective of the Pykacz's many-valued quantum logic reviewed in Section 2, the three-valued quantum logic is just a fragment of it: the set of the formulas of the three-valued quantum logic is the same as that of many-valued quantum logic (i.e. it is L q ) but the number of truth values is different. The valuation v That is, the range [0, 1] of probability value is divided into three parts: the singletons {0}, {1}, and the open interval (0, 1).
Historically, perhaps the Reichenbach's three-valued logic [19] with the third truth value "Indeterminate" is the most famous as many-valued interpretation of a quantum logic, because it causes controversy in the field of philosophy mainly by Putnam [13]. The Reichenbach's three-valued logic is well-motivated in terms of quantum mechanics: Reichenbach had the uncertainty relation in mind, and he assigns the third truth value to a physical property that has not yet been observed.
Although we agree with the Pykacz's opinion [15,Chapter 5] that the conventional threevalued quantum logic (including Reichenbach's one) is not rich enough in truth values compared to the [0, 1]-valued quantum logic, we confine our attention to the three-valued quantum logic to make the story easier. As suggested in [9] for the non-quantum threevalued logic, the result can extend to n-valued logics. In particular, a translation from the four-valued logic to a kind of modal logic was studied in detail by [10].

Observables in Quantum Logic
In order to prove our main theorem, we first prove the lemma for a certain fragment of the three-valued quantum logic called observable-dependent (three-valued) quantum logic in Section 6 (see Lemma 1). For this purpose, we introduce an observable-dependent logic in this section.
Recall that the truth value v(α(|ψ )) is defined as the probability ψ|P [[α]] |ψ in Section 2. However, there is a gap between the conventional (three-valued) quantum logic and quantum mechanics: usually, the transition probability is determined depending on a self-adjoint operator A corresponding to some observable in quantum mechanics (see [12, Section 2.2.5] for example). To be more precise, when projective measurement of A is executed in |ψ , (P1) the measured value m must be one of the eigenvalues of A; (P2) if m is obtained, |ψ is transitioned into the unit eigenvector 4 m of A corresponding to m; (P3) the probability of obtaining the measured value m is | m|ψ | 2 , namely the square of the inner product of |ψ and m.
Since quantum logics are strongly motivated by quantum mechanics, we believe that quantum logics should not be developed without various notions of quantum mechanics. For this purpose, we incorporate the notion of observables into the many-valued quantum logic 5 . Based on these conditions (P1), (P2) and (P3), we introduce an observable-dependent logic which is a kind of many-valued logic. As with the three-valued quantum logic, the set of the formulas is L q but the valuation is different from v q . The valuation v q A : L q → [0, 1] of the observable-dependent logic is the probability of observing the physical property α of A in |ψ , namely represents H without the zero vector 0. 6 Here, the equivalence relation ≡ is defined by for some complex number e iθ = cos θ + i sin θ . -P A is an accessibility relation on Σ(H) defined by (|ψ 1 , |ψ 2 ) ∈ P A ⇔ | ψ 2 |ψ 1 | 2 > 0 and |ψ 2 ∈ E A , where ψ 2 |ψ 1 denotes the inner product of |ψ 1 and |ψ 2 . In other words, |ψ 2 is accessible from |ψ 1 if and only if there is a possibility of obtaining an eigenvalue of A as a measured value.
-V is a valuation function from an atomic formula in L ML to a subset of Σ(H).
Note that P A is a restriction of the non-orthogonality relation to E A , because | ψ 2 |ψ 1 | 2 = 0 if and only if |ψ 1 is orthogonal to |ψ 2 . The idea of regarding (non)orthogonality relation as the accessibility relation of a Kripke model was suggested by [5] and [8] independently.
We give an example of the observable-dependent Kripke model. Let σ x (σ y ) be the selfadjoint operator which corresponds to spin along x-axis (y-axis). That is, σ x and σ y are the Pauli matricies For every n ∈ {x, y} and i ∈ {−1, +1}, the normalized eigenvectors |ψ i n of σ n corresponding to the eigenvalue i are Then, the two relations P σ x and P σ y are depicted by Figs. 1 and 2 respectively. 7 In addition, we define the valuations V σ n as the function V σ n (p) = {|ψ +1 n , |ψ −1 n } for each n ∈ {x, y} for an atomic formula p. These symbols constitute two distinct observabledependent Kripke models M σ x = (Σ(H), P σ x , V σ x ) and M σ y = (Σ(H), P σ y , V σ y ). Evidently, the truth value of a formula (even if in the same state) depends on the model on one's mind. For example, (M σ x , |ψ +1 x ) |= p but (M σ y , |ψ +1 x ) |= p.

Some Properties of P A
In this section, we introduce a new property of a relation on Σ(H) called idempotency, and prove that P A satisfies it. After that we discuss other distinguished features of P A .
Theorem 1 means that projective measurement is idempotent. In quantum mechanics, any state will be changed by projective measurement but there is in fact one exception. If the state is an eigenvector of A, no matter how many times projective measurement is repeated, this state will not be changed anymore.
Shift reflexivity has been discussed in deontic logic, because shift reflexivity is sometimes preferred to mere reflexivity when the necessity operator is interpreted as "it is obligatory that" [6,Section 5.4]. The fact that P A is shift-reflexive may arouse further attention to shift reflexivity itself in the future.
Note that P A is neither reflexive nor symmetric, because Figs. 1 and 2 in Section 4 are two counterexamples for it. On the other hand, the non-orthogonality relation P defined by (|ψ 1 , |ψ 2 ) ∈ P ⇔ | ψ 2 |ψ 1 | 2 > 0 is reflexive and symmetric (see the proof of Lemma 2). Traditionally, the non-orthogonality relation P (or equivalently the orthogonality relation) is utilized as an accessibility relation of the Kripke frame for quantum logic [5,8,17]. This traditional relation P is replaced with P A in the observable-dependent Kripke model M A .

Main Theorem
Now we prove our main theorem by using the observable-dependent logic introduced in Section 4.

Lemma 1 M
Moreover, it follows from {|ψ : Suppose that there exists the set of self-adjoint operators on H which satisfies the following two conditions. Then, the following theorem holds by (O2) and (O1) respectively. M B be a B-model (W, R B , V ), namely a Kripke model which consists of a reflexive and symmetric accessibility relation R B . There exists M B such that

Conclusion
We clarified the relationship between three-valued and modal logic from a quantum logical perspective by our main theorem (Theorem 5). Since this theorem relates the three-valued quantum logic to a kind of modal system B, it provides a new example of the relationship between three-valued logic and modal system other than S5 discussed by [9].
To prove Theorem 5, we introduced an observable-dependent logic. This logic is preferable from the perspective of quantum mechanics, because quantum observation is executable only when what an observable would be measured is determined. That is, the observable-dependent logic fills a gap between logic and quantum mechanics. In addition, from a logical viewpoint, we can utilize some notions of quantum mechanics for proving logical property 10 if the observable-dependent logic is employed.
By the translation which consists of τ q T , τ q I , τ q F from the three-valued quantum logic to modal logic, ontic truth (|= α) and epistemic truth (|= α or |= ♦α) were distinguished. According to some no-go theorems such as Bell's theorem and Kochen-Specker theorem, truth in quantum mechanics should not be interpreted as ontic (i.e. independent of an observer) but epistemic. Thus, this translation clarifies such epistemic aspect of quantum mechanics by the modal operators.