Abstract
Admissible models for quantified modal logic have a restriction on which sets of worlds are admissible as propositions. They give an actualist interpretation of quantifiers that leads to very general completeness results: for any propositional modal logic S there is a quantificational proof system QS that is complete for validity in models whose algebra of admissible propositions validates S. In this paper, we construct ultraproducts of admissible models and use them to derive compactness theorems that combine with completeness to yield strong completeness: any QS-consistent set of formulas is satisfiable in a model whose admissible propositions validate S. The Barcan Formula is analysed separately and shown to axiomatise certain logics that are strongly complete over admissible models in which the quantifiers are given their standard Kripkean interpretation.
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
Similar content being viewed by others
Notes
- 1.
As with many operations on ultraproducts, it needs to be checked that \(D_\mu \) is well defined, i.e. that \(f_\mu =f'_\mu \) implies \(D_\mu (f_\mu )=D_\mu (f'_\mu )\). Such checking is left to the reader in routine cases.
References
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1973)
Goldblatt, R.: Metamathematics of modal logic. Ph.D. thesis, Victoria University, Wellington (1974) (Included in [4])
Goldblatt, R.: Mathematics of Modality. CSLI Lecture Notes No. 43. CSLI Publications, Stanford University (1993)
Goldblatt, R.: Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Number 38 in Lecture Notes in Logic. Cambridge University Press and the Association for Symbolic Logic (2011)
Goldblatt, R., Hodkinson, I.: Commutativity of quantifiers in varying-domain Kripke models. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy, vol. 28 of Trends in Logic, pp. 9–30. Springer, New York (2009)
Kripke, S.A.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83–94 (1963)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Goldblatt, R. (2016). Ultraproducts of Admissible Models for Quantified Modal Logic. In: Yang, SM., Deng, DM., Lin, H. (eds) Structural Analysis of Non-Classical Logics. Logic in Asia: Studia Logica Library. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48357-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-662-48357-2_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48356-5
Online ISBN: 978-3-662-48357-2
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)