Table 2.

Measurements carried out by the agents

Agent	Value	Measured system	Measurement completed at	Relevant vectors of measurement basis	Heisenberg projectors used for reasoning via (Q)
$\overline{\mathrm{F}}$	r	R	n:01	${∣\mathrm{heads}⟩}_{\mathrm{R}}{∣\mathrm{tails}⟩}_{\mathrm{R}}$	$\begin{array}{c}{\pi }_{w=\mathrm{ok}}^{n:10}=\left[{\left(U_{\mathrm{S}\to \mathrm{L}}^{10\to 20}\right)}^{†}{∣\mathrm{ok}⟩}_{\mathrm{L}}\right]{\left[\cdot \right]}^{†}\hfill \\ {\pi }_{w=\mathrm{fail}}^{n:10}=1-{\pi }_{w=\mathrm{ok}}^{n:10}\hfill \end{array}$
F	z	S	n:11	${∣\downarrow ⟩}_{\mathrm{S}}{∣\uparrow ⟩}_{\mathrm{S}}$	$\begin{array}{c}{\pi }_{z=-\frac{1}{2}}^{n:10}=∣\downarrow ⟩{⟨\downarrow ∣}_{\mathrm{S}}\hfill \\ {\pi }_{z=+\frac{1}{2}}^{n:10}=∣\uparrow ⟩{⟨\uparrow ∣}_{\mathrm{S}}\hfill \end{array}$
$\overline{\mathrm{W}}$	$\overline{w}$	$\overline{\mathrm{L}}$	n:21	${∣\overline{\mathrm{ok}}⟩}_{\overline{\mathrm{L}}}=\sqrt{1∕2}\left({∣\overline{\mathrm{h}}⟩}_{\overline{\mathrm{L}}}-{∣\overline{\mathrm{t}}⟩}_{\overline{\mathrm{L}}}\right)$	$\begin{array}{c}{\pi }_{\left(\overline{w},z\right)=\left(\overline{\mathrm{ok,}}-\frac{1}{2}\right)}^{n:00}=\left[{\left(U_{\mathrm{R}\to \overline{\mathrm{L}S}}^{00\to 10}\right)}^{†}{∣\overline{\mathrm{ok}}⟩}_{\overline{\mathrm{L}}}{∣\downarrow ⟩}_{\mathrm{S}}\right]{\left[\cdot \right]}^{†}\hfill \\ {\pi }_{\left(\overline{w},z\right)\ne \left(\overline{\mathrm{ok,}}-\frac{1}{2}\right)}^{n:00}=1-{\pi }_{\left(\overline{w},z\right)=\left(\overline{\mathrm{ok,}}-\frac{1}{2}\right)}^{n:00}\hfill \end{array}$
W	w	L	n:31	${∣\mathrm{ok}⟩}_{\mathrm{L}}=\sqrt{1∕2}\left({∣-\frac{1}{2}⟩}_{\mathrm{L}}-{∣\mathrm{+}\frac{1}{2}⟩}_{\mathrm{L}}\right)$	${\pi }_{\left(\overline{w},w\right)=\left(\overline{\mathrm{ok,}}\mathrm{ok}\right)}^{n:00}=\left[{\left(U_{\mathrm{R}\to \overline{\mathrm{L}S}}^{00\to 10}\right)}^{†}{\left(U_{\mathrm{S}\to \mathrm{L}}^{10\to 20}\right)}^{†}{∣\overline{\mathrm{ok}}⟩}_{\overline{\mathrm{L}}}{∣\mathrm{ok}⟩}_{\mathrm{L}}\right]{\left[\cdot \right]}^{†}$

Each of the four agents observes a value, defined as the outcome of a measurement on a particular system at a particular time. The measurement basis vectors ${∣\overline{\mathrm{ok}}⟩}_{\overline{\mathrm{L}}}$ and ${∣\mathrm{ok}⟩}_{\mathrm{L}}$ shown in the last two rows are expressed in terms of states, such as ${∣-\frac{1}{2}⟩}_{\mathrm{L}}$ and ${∣+\frac{1}{2}⟩}_{\mathrm{L}}$, which are defined in Table 1. The last column shows the measurement operators that the agents insert into statement A⁽ⁱⁱ⁾ when reasoning according to Assumption (Q). These operators are given in the Heisenberg picture, referring to the system’s state at a particular time, which is specied by a superscript. The bracket ${\left[\cdot \right]}^{†}$ stands for the adjoint of the preceding expression