Abstract
S4C is a logic of continuous transformations of a topological space. Cut elimination for it requires new kind of rules and new kinds of reductions
Similar content being viewed by others
References
Artemov, S., J. Davoren, and A. Nerode, ‘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/).
Davoren, J., Modal Logics for Continuous Dynamics, Ph. D. thesis, Cornell University, 1998.
Kremer, P., and G. Mints, ‘Dynamic Topological Logic’, Annals of Pure and Applied Logic, v. 133: 133–158, 2004.
Mints, G., A Short Introduction to Intuitionistic Logic, Kluwer, 2001.
Troelstra, A., and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000.
Walters, P., An Introduction to Ergodic Theory, Springer-Verlag, 1982.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mints, G. Cut Elimination for S4C: A Case Study. Stud Logica 82, 121–132 (2006). https://doi.org/10.1007/s11225-006-6608-1
Issue Date:
DOI: https://doi.org/10.1007/s11225-006-6608-1