Hostname: page-component-78c5997874-xbtfd Total loading time: 0 Render date: 2024-11-13T01:04:31.217Z 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 access Rights & Permissions [Opens in a new window]

Extract

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

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

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