Abstract
Goldblatt and Thomason’s theorem on modally definable classes of Kripke frames and Venema’s theorem on modally definable classes of Kripke models are generalised to coalgebras.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramsky, S.: Domain theory in logical form. Annals of Pure and Applied Logic 51 (1991)
Abramsky, S.: A Cook’s tour of the finitary non-well-founded sets. In: We Will Show Them: Essays in Honour of Dov Gabbay. College Publications, 2005. BCTCS (1988) (presented)
van Benthem, J.: Modal Logic and Classical Logic. Bibliopolis (1983)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. CUP (2001)
Bonsangue, M., Kurz, A.: Duality for logics of transition systems. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, Springer, Heidelberg (2005)
Bonsangue, M., Kurz, A.: Presenting functors by operations and equations. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol. 3921, Springer, Heidelberg (2006)
ten Cate, B., Gabelaia, D., Sustretov, D.: Modal languages for topology: expressivity and definability. arXiv 0610357 (2006)
Friggens, D., Goldblatt, R.: A modal proof theory for final polynomial coalgebras. Theoret. Comput. Sci. 360 (2006)
Gabelaia, D.: Modal definability in topology. Master’s thesis, University of Amsterdam (2001)
Ghilardi, S.: An algebraic theory of normal forms. Ann. Pure Appl. Logic, 71 (1995)
Goldblatt, R.I., Thomason, S.K.: Axiomatic classes in propositional modal logic. In: Algebra and Logic (1974)
Hansen, H., Kupke, C.: A coalgebraic perspective on monotone modal logic. In: CMCS 2004. ENTCS, vol. 106 (2004)
Jacobs, B.: Many-sorted coalgebraic modal logic: a model-theoretic study. Theor. Inform. Appl. 35 (2001)
Johnstone, P.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Kupke, C., Kurz, A., Pattinson, D.: Algebraic semantics for coalgebraic logics. In: CMCS 2004. ENTCS, vol. 106 (2004)
Kupke, C., Kurz, A., Pattinson, D.: Ultrafilter extensions of coalgebras. In: Fiadeiro, J.L., Harman, N., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol. 3629, Springer, Heidelberg (2005)
Kurz, A., Rosick ý, J.: Strongly complete logics for coalgebras (July 2006) Submitted
Lawvere, F.: Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano, XLIII, Also appeared as TAC reprints No. 1 (1973)
Lawvere, F.: Taking categories seriously. Revista Colombiana de Matemáticas XX (1986) Also appeared as TAC reprints No. 8.
Rößiger, M.: Coalgebras and modal logic. In: CMCS 2000. ENTCS, vol. 33 (2000)
Rutten, J.: Weighted colimits and formal balls in generalized metric spaces. Topology and its Applications 89 (1998)
Venema, Y.: Model definability, purely modal. In: JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Amsterdam University Press (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kurz, A., Rosický, J. (2007). The Goldblatt-Thomason Theorem for Coalgebras. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds) Algebra and Coalgebra in Computer Science. CALCO 2007. Lecture Notes in Computer Science, vol 4624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73859-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-73859-6_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73857-2
Online ISBN: 978-3-540-73859-6
eBook Packages: Computer ScienceComputer Science (R0)