We investigate the role of coalgebraic predicate logic, a logic for neighborhood frames first proposed by Chang, in the study of monotonic modal logics. We prove analogues of the Goldblatt–Thomason theorem and Fine’s canonicity theorem for classes of monotonic neighborhood frames closed under elementary equivalence in coalgebraic predicate logic. The elementary equivalence here can be relativized to the classes of monotonic, quasi-filter, augmented quasi-filter, filter, or augmented filter neighborhood frames, respectively. The original, Kripke-semantic versions of the theorems follow as a special case concerning the classes of augmented filter neighborhood frames.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Alur, R., T. Henzinger, and O. Kupferman, Alternating-time temporal logic, in Journal of the ACM, IEEE Computer Society Press, 1997, pp. 100–109.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, New York, NY, USA, 2001.
Chang, C. C., Modal model theory, in A. R. D. Mathias, and H. Rogers, (eds.), Cambridge Summer School in Mathematical Logic, New York: Springer Verlag, 1973, pp. 599–617.
Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, 1980.
Došen, K., Duality between modal algebras and neighbourhood frames, Studia Logica 48(2): 219–234, 1989.
Fine, K., Some connections between elementary and modal logic, in Proceedings of the Third Scandinavian Logic Symposium, 1975.
Flum, J., and M. Ziegler, Topological Model Theory, Springer-Verlag, 1980.
Gehrke, M., and J. Harding, Bounded lattice expansions, Journal of Algebra 238(1): 345–371, 2001.
Gehrke, M., J. Harding, and Y. Venema, Macneille completions and canonical extensions, Transactions of the American Mathematical Society 358(2): 573–590, 2006.
Gerson, M., A neighbourhood frame for T with no equivalent relational frame, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 22: 29–34, 1976.
Gerson, M. S., An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics, Studia Logica: An International Journal for Symbolic Logic 34(4): 333–342, 1975.
Goldblatt, R. I., and S. K. Thomason, Axiomatic classes in propositional modal logic, in J. N. Crossley, (ed.), Algebra and Logic, Springer, Berlin, Heidelberg, 1975, pp. 163–173.
Hansen, H. H., Monotonic Modal Logics, Master’s thesis, University of Amsterdam, 2003.
Hansen, H. H., C. Kupke, and E. Pacuit, Neighbourhood structures: Bisimilarity and basic model theory, Logical Methods in Computer Science, Volume 5, Issue 2 2009.
Kurz, A., and J. Rosickỳ, The Goldblatt-Thomason theorem for coalgebras, in International Conference on Algebra and Coalgebra in Computer Science, Springer, 2007, pp. 342–355.
Litak, T., D. Pattinson, K. Sano, and L. Schröder, Model Theory and Proof Theory of Coalgebraic Predicate Logic, Logical Methods in Computer Science, 14(1) 2018.
Marker, D., Model Theory: An Introduction, Springer-Verlag New York, 2002.
Pacuit, E., Neighborhood Semantics for Modal Logic, Short Textbooks in Logic, Springer International Publishing, Cham, 2017. https://doi.org/10.1007/978-3-319-67149-9.
Palmigiano, A., S. Sourabh, and Z. Zhao, Sahlqvist theory for impossible worlds, Journal of Logic and Computation 27(3): 775–816, 2016.
Parikh, R., The logic of games and its applications, in Annals of Discrete Mathematics, Elsevier, 1985, pp. 111–140.
Pauly, M., Logic for Social Software, Ph.D. thesis, University of Amsterdam, 2001.
Schröder, L., D. Pattinson, and T. Litak, A van Benthem/Rosen theorem for coalgebraic predicate logic, Journal of Logic and Computation 27(3): 749–773, 2017.
ten Cate, B., D. Gabelaia, and D. Sustretov, Modal languages for topology: Expressivity and definability, Annals of Pure and Applied Logic 159(1): 146–170, 2009.
van Benthem, J. F. A. K., Modal Logic and Classical Logic, Distributed in the U.S.A. By Humanities Press, 1983.
van Benthem, J., Universal algebra and model theory: the DNA of modal logic, in Logic in Hungary, Janos Bolyai Mathematical Society, 2005.
van Benthem, J., and G. Bezhanishvili, Modal Logics of Space, Springer Netherlands, Dordrecht, 2007, pp. 217–298.
Venema, Y., Algebras and coalgebras, in Handbook of Modal Logic, chap. 6, Elsevier, 2007, pp. 331–426.
Ziegler, M., Chapter xv: Topological model theory, in J. Barwise, and S. Feferman, (eds.), Model-Theoretic Logics, vol. Volume 8 of Perspectives in Mathematical Logic, chap. XV, Springer-Verlag, New York, 1985, pp. 557–577.
I wish to give special thanks to Wesley Holliday for his extensive and helpful comments and discussion. I also wish to thank Tadeusz Litak, Lutz Schröder, and Frederik Lauridsen for useful comments on earlier drafts. Also, I am indebted to the anonymous reviewers for their helpful comments. Finally, I gratefully acknowledge financial support from the Takenaka Scholarship Foundation.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Yamamoto, K. Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics. Stud Logica (2020). https://doi.org/10.1007/s11225-020-09911-4
- Modal logic
- Fine’s theorem
- Goldblatt–Thomason theorem
- Neighborhood frames