\newcommand{\Formula}[1]{\multicolumn{1}{l}{\
\begin{rotate}{38}#1\end{rotate}}}
\renewcommand{\arraystretch}{1.5}
\renewcommand{\t}{$\surd$}
\renewcommand{\c}{$\times$}
\vspace{2cm}
\begin{tabular}{@{}l|*8{l}}
\multicolumn{1}{c|}{$\Box \phi$} & \Formula{$\Box \phi\to \phi$} &
\Formula{$\Box \phi\to\Box\Box \phi$} &
\Formula{$\Dia \phi \to \Box \Dia \phi$} & \Formula{$\Dia \top$} &
\Formula{$\Box \phi\to\Dia \phi$}     &
\Formula{$\Box \phi\lor \Box \neg \phi$} & \Formula{$\Box(\phi\to
\psi)\land\Box \phi\to\Box \psi$}      &
\Formula{$\Dia \phi\land\Dia \psi\to\Dia(\phi\land \psi)$} \\
\hline
It is necessarily true that $\phi$
&\t&\t&\t&\t&\t&\c&\t&\c\\ %\hline
It will always be true that $\phi$
&\c&\t&\c&\c&\c&\c&\t&\c\\ %\hline
It ought to be that $\phi$
&\c&\c&\c&\t&\t&\c&\t&\c\\ %\hline
Agent Q believes that $\phi$
&\c&\t&\t&\t&\t&\c&\t&\c\\ %\hline
Agent Q knows that $\phi$
&\t&\t&\t&\t&\t&\c&\t&\c\\ %\hline
After any execution of program P, $\phi$ holds
&\c&\c&\c&\c&\c&\c&\t&\c\\ %\hline
\end{tabular}