Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-31T20:30:13.535Z Has data issue: false hasContentIssue false
  • English
  • Français

COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS

Published online by Cambridge University Press:  27 September 2018

PHILIP KREMER
PHILIP KREMER*
Affiliation:
Department of Philosophy, University of Toronto
*
*DEPARTMENT OF PHILOSOPHY UNIVERSITY OF TORONTO TORONTO, ON M5S 3H7, CANADA E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We add propositional quantifiers to the propositional modal logic S4 and to the propositional intuitionistic logic H, introducing axiom schemes that are the natural analogs to axiom schemes typically used for first-order quantifiers in classical and intuitionistic logic. We show that the resulting logics are sound and complete for a topological semantics extending, in a natural way, the topological semantics for S4 and for H.

Keywords

03B4503B20second-order propositional logicmodal logicintuitionistic logictopological semantics
Type
Research Article
Information
The Review of Symbolic Logic , Volume 11 , Issue 3 , September 2018 , pp. 507 - 518
Copyright
Copyright © Association for Symbolic Logic 2018 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Fine, K. (1970). Propositional quantifiers in modal logic. Theoria, 36, 336–346.CrossRefGoogle Scholar
Gabbay, D. (1974). On 2nd order intuitionistic propositional calculus with full comprehension. Archiv f ur mathematische Logik, 16, 177–186.CrossRefGoogle Scholar
Geuvers, H. (1994). Consevativity between logics and typed lambda-calculi. In Barendregt, H. and Nipkow, T., editors. Types for Proofs and Programs, International Workshop TYPES ’93. Lecture Notes in Computer Science, Vol. 806. New York: Springer, pp. 131–154.Google Scholar
Kaminski, M. & Tiomkin, M. (1996). The expressive power of second-order propositional modal logic. Notre Dame Journal of Formal Logic, 37, 35–43.Google Scholar
Kaplan, D. (1970). S5 with quantifiable propositional variables. Journal of Symbolic Logic, 35, 355.Google Scholar
Kremer, P. (1997a). On the complexity of propositional quantification in intuitionistic logic. Journal of Symbolic Logic, 62, 529–544.CrossRefGoogle Scholar
Kremer, P. (1997b). Propositional quantification in the topological semantics for S4. Notre Dame Journal of Formal Logic, 38, 295–313.CrossRefGoogle Scholar
Kremer, P. (2013). Strong completeness of S4 for any dense-in-itself metric space. Review of Symbolic Logic, 6, 545–570.CrossRefGoogle Scholar
Kremer, P. (2014). Quantified modal logic on the rational line. Review of Symbolic Logic, 7, 439–454.CrossRefGoogle Scholar
Makinson, D. (1966). On some completeness theorems in modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 12, 379–384.CrossRefGoogle Scholar
Rasiowa, H. & Sikorski, R. (1963). The Mathematics of Metamathematics. Warsaw: Państowowe Wydawnictwo Naukowe,Google Scholar
Sobolev, S. K. (1977). The intuitionistic propositional calculus with quantifiers (in Russian). Matematicheskiye Zametki, 22, 69–76. English translation in Mathematical Notes of the Academy of Sciences of the USSR 22 (1977), 528–532.Google Scholar
Sørensen, M. H. & Urzyczyn, P. (2006). Lectures on the Curry-Howard Isomorphism. New York: Elsevier.Google Scholar
Zdanowski, K. (2009). On second order intuitionistic propositional logic without a universal quantifier. Journal of Symbolic Logic, 74, 157–167.CrossRefGoogle Scholar