\begin{tabular}{cll}\hline
name& formula scheme & property of $R$\\\hline
 T & $\Box \phi\limpl \phi$                      & reflexive\\
 B & $\phi\limpl \Box\Dia \phi$                  & symmetric\\
 D & $\Box \phi\limpl\Dia \phi$                  & serial\\
 4 & $\Box \phi\limpl\Box\Box \phi$              & transitive\\
 5 & $\Dia \phi\limpl \Box\Dia \phi$             & Euclidean\\
   & $\Box \phi\liff\Dia \phi$                   & functional\\
   & $\Box(\phi\land\Box \phi\limpl \psi)
        \lor\Box(\psi\land\Box \psi\limpl \phi)$ & linear\\\hline
\end{tabular}