MIT Press

Table 1:

Two tables (separated by a thick line) representing two different versions of W. Within each table, each cell i,j in the main 2-by-2 grid contains the boolean value $⟦ e_{j} ∣ κ ⟧_{L}^{w_{i}}$ ⁠. The column to the right contains $ℵ_{L}^{w_{i}} (e_{1}, e_{2} ∣ κ)$ ⁠. The bottom row aggregates each column by quantifying ◊.

	ℵ	e₂	ℵ
w₁	1	0	1
w₂	1	1	0
◊	1	1	1

View Large

This Feature Is Available To Subscribers Only