<reponame>audreysh/what-if
% Part: applied-modal-logics
% Chapter: epistemic-logic

\documentclass[../../include/open-logic-chapter]{subfiles}

\begin{document}

\olchapter{aml}{tl}{Temporal Logics}

\begin{editorial}
  This chapter covers temporal logics.
\end{editorial}

\olimport{introduction}
\olimport{temporal-logic-semantics}
\olimport{properties-accessibility}
\olimport{extra-temporal-operators}
\olimport{possible-histories}

\OLEndPartHook

\end{document}
