A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic

Amirhossein Akbar Tabatabai, Majid Alizadeh, Alireza Mahmoudian

As part of a broader family of logics, [1, 3] introduced two key logical systems: $\mathsf{i}{\mathsf{K}}_{\mathsf{d}}$, which encapsulates the basic logical structure of dynamic topological systems,…