ldl.tex

\documentclass[10pt,a4paper]{amsart}
\input{preamble}

\begin{document}

\title{Interpolation for the Logic of Dynamic Locales}
\author{Amirhossein Akbar Tabatabai}


\author{Majid Alizadeh}

\author{Alireza Mahmoudian}

\date{\today}
 
\begin{abstract}
	\input{abstract}
\end{abstract}

\maketitle

\keywords{Cut-elimination, Interpolation, Dynamics in general topological spaces}

\subjclass{03F05, 03C40, 37B02}

\section{Introduction}
\input{introduction}

\section{Preliminaries}
\input{preliminaries}

\section{An analytic system for $\ldl$ and $\ldl_*$}
\input{system}

\section{Admissibility of $cut$}
\input{cut-adm}

\section{Some applications}
\input{applications}

\section{Interpolation Theorems}
\input{interpolation}

\bibliographystyle{abbrv}
\bibliography{refs}

\end{document}