Hostname: page-component-6898cfcb55-zsp5v Total loading time: 0 Render date: 2026-11-11T04:33:26.006Z Has data issue: false hasContentIssue false
  • English
  • Français

On modal logic with propositional quantifiers

Published online by Cambridge University Press:  12 March 2014

R. A. Bull
R. A. Bull*
Affiliation:
University of Leeds
Get accessRights & Permissions [Opens in a new window]

Extract

I am interested in extending modal calculi by adding propositionalquantifiers, given by the rules for quantifier introduction: providedthat p does not occur free in A.

Information

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 34 , Issue 2 , 25 July 1969, pp. 257 - 263
Copyright
Copyright © Association for Symbolic Logic 1969

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.)

Article purchase

Temporarily unavailable

References

[1] Kripke, Saul A., A completeness theorem in modal logic, this Journal ,vol. 24 (1959), pp. 1–14.Google Scholar
[2] Kripke, Saul A., Semantical analysis of modal logic (abstract), this Journal , vol. 24 (1959), pp. 323–324.Google Scholar
[3] Kripke, Saul A., Semantical analysis of modal logic. I, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67–96.Google Scholar
[4] Lemmon, E. J., Algebraic semantics for modal logics. I, this Journal , vol. 31 (1966), pp. 46–65.Google Scholar