References
Artemov, S., Davoren, J., Nerode, A.: Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05, Cornell University, June 1997 (available at http://www.cs.gc.cuny.edu/~sartemov/publications/MSI97-05.ps)
Davoren, J.M.: Modal logics for continuous dynamics. Ph.D. Thesis, Cornell University, 1998
Mints, G.: A completeness proof for propositional S4 in Cantor space. In: Orlowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 79–88 (1999)
Mints, G., Kremer, P.: Dynamic topological logic. Bulletin of Symbolic Logic 3, 371–372 (1997)
Kremer, P., Mints, G.: Dynamic topological logic. Annals of Pure and Applied Logic 131, 133–158 (2005)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mints, G., Zhang, T. Propositional logic of continuous transformations in Cantor space. Arch. Math. Logic 44, 783–799 (2005). https://doi.org/10.1007/s00153-005-0285-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-005-0285-z