Abstract
We characterize the first-order formulas with one free variable that are preserved under bisimulation and persistence or strong persistence over the class of Kripke models with transitive frames and unary persistent predicates.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ardeshir, M., W. Ruitenburg, ‘Basic Propositional Calculus I’, Mathematical Logic Quarterly 44,no. 3 (1998), 317–343.
Barendregt, H., M. Bezem, J. W. Klop (editors), Dirk van Dalen Festschrift, Quaestiones Infinitae vol. 5, Department of Philosophy, Utrecht University, 1993.
Chang, C. C., H. J. Keisler, Model Theory, third edition, Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland, Elsevier Science, 1990.
Ponse, A., M. de Rijke, Y. Venema (editors), Modal Logic and Process Algebra, a Bisimulation Perspective, CSLI Lecture Notes 53, Center for the Study of Language and Information, Stanford, 1995.
Ruitenburg, W., ‘Constructive logic and the paradoxes’, Modern Logic 1,no. 4 (1991), 271–301.
Ruitenburg, W., ‘Basic logic and Fregean set theory’, in [2], 121–142.
Suzuki, Y., F. Wolter, M. Zakharyaschev, ‘Speaking about transitive frames in propositional languages’, Journal of Logic, Language and Information 7,no. 3 (1998), 317–339.
van Benthem, J. F. A. K., Modal Correspondence Theory (dissertation), Mathematical Institute, University of Amsterdam, 1976.
Visser, A., ‘A propositional logic with explicit fixed points’, Studia Logica 40 (1981), 155–175.
Visser, A., J. van Benthem, D. de Jongh, G. R. Renardel de Lavalette, ‘NNIL, a study in intuitionistic propositional logic’, in [4], 289–326.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ruitenburg, W. Basic Logic, K4, and Persistence. Studia Logica 63, 343–352 (1999). https://doi.org/10.1023/A:1005298819843
Issue Date:
DOI: https://doi.org/10.1023/A:1005298819843