\renewcommand{\arraystretch}{1.5}
\begin{tabular}{|l|p{6cm}|}\hline
\multicolumn{1}{|c|}{$\Box \phi$}
&\multicolumn{1}{c|}{$R(x,y)$}\\\hline
It is necessarily true that $\phi$      &   $y$ is possible world
according to the information at $x$\\
It will always be true that $\phi$      &   $y$ is a future world of
$x$\\
It ought to be that $\phi$              &  $y$ is an acceptable world
according to the information at $x$\\
Agent Q believes that $\phi$            &  $y$ could be the actual world
according to Q's beliefs at $x$\\
Agent Q knows that $\phi$               &  $y$ could be the actual world
according to Q's knowledge at $x$\\
After any execution of P, $\phi$ holds &  $y$ is a possible resulting
state after execution of P at $x$\\
\hline
\end{tabular}