A Sequent Calculus for Dynamic Topological Logic

Samuel Reid

We introduce a sequent calculus for the temporal-over-topological fragment $\textbf{DTL}_{0}^{\circ * \slash \Box}$ of dynamic topological logic $\text{DTL}$, prove soundness sem…