Failures of the interpolation lemma in quantified modal logic

Journal of Symbolic Logic 44 (2):201-206 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273727

Other Versions

reprint Fine, Kit (1983) "Failures of the Interpolation Lemma in Quantified Modal Logic". Journal of Symbolic Logic 48(2):486-488

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Kit Fine, Failures of the Interpolation Lemma in Quantified Modal Logic. [REVIEW]Saul A. Kripke - 1983 - Journal of Symbolic Logic 48 (2):486-488.
Fine Kit. Model theory for modal logic. Part I—the de re/de dicto distinction. Journal of philosophical logic, vol. 7 , pp. 125–156.Fine Kit. Model theory for modal logic—part II. The elimination of de re modality. Journal of philosophical logic, vol. 7 , pp. 277–306.Fine Kit. Model theory for modal logic—part III. Existence and predication. Journal of philosophical logic, vol. 10 , pp. 293–307. [REVIEW]Saul A. Kripke - 1985 - Journal of Symbolic Logic 50 (4):1083-1093.
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
Kit Fine. Propositional quantifiers in modal logic. Theoria, vol. 36 , pp. 336–346.Daniel Gallin - 1973 - Journal of Symbolic Logic 38 (2):329.
Kit Fine: First-Order Modal Theories I--Sets.First-Order Modal Theories.First-Order Modal Theories III--Facts.W. Kroon - 1988 - Journal of Symbolic Logic 53 (4):1262-1269.
Kit Fine. First-order modal theories I—sets. Noûs, vol. 15 , pp. 177–205. - Kit Fine. First-order modal theories. Studia logica, vol. 39 , pp. 159–202. - Kit Fine. First-order modal theories III—facts. Synthese, vol. 53 , pp. 43–122. [REVIEW]F. W. Kroon - 1988 - Journal of Symbolic Logic 53 (4):1262-1269.
Some failures of interpolation in modal logic.George F. Schumm - 1986 - Notre Dame Journal of Formal Logic 27 (1):108-110.
An interpolation lemma for the pure implicational calculus.Roy Edelstein - 1975 - Journal of Symbolic Logic 40 (3):443-444.
Kit Fine. The logics containing S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 371–376. - Kit Fine. An ascending chain of S4 logics. Theoria, vol. 40 , pp. 110–116. - Kit Fine. Logics containing K4. Part I. The journal of symbolic logic, vol. 39 , pp. 31–42. - L. Esakia and V. Meskhi. Five critical modal systems. Theoria, vol. 43 , pp. 52–60. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.

Analytics

Added to PP
2009-01-28

Downloads
106 (#201,016)

6 months
14 (#233,812)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
First-order modal theories III — facts.Kit Fine - 1982 - Synthese 53 (1):43-122.
Some theorems on the expressive limitations of modal languages.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):13 - 26.

View all 19 citations / Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
Normal modal model theory.Kenneth A. Bowen - 1975 - Journal of Philosophical Logic 4 (2):97 - 131.

Add more references