References
Fine, K., Postscript to Worlds, Times and Selves (with A. N. Prior), Duckworth, England (1977).
FineK., ‘Propositions, Sets and Properties,’ Journal of Philosophical Logic 6 (1977), 135–191.
FineK., ‘Review of [9],’ Philosophical Review 86 (1977), 562–66.
FineK., ‘Model Theory for Modal Logic—Part I,’ Journal of Philosophical Logic 7 (1978), 125–156.
FineK., ‘Model Theory for Modal Logic—Part II,’ Journal of Philosophical Logic 7 (1978), 277–306.
FineK., ‘The Interpolation Lemma Fails for Quantified S5,’ Journal of Symbolic Logic 44 (1979), 201–206.
Fine, K., ‘First-Order Modal Theories — I Sets, II Propositions, III Facts’, in Nous (1981), Studia Logica XXXIX, 2/3 (1980), 159–202, and Synthese (1981), respectively.
KripkeS., ‘Semantical Considerations on Modal Logic,’ Acta Philosophica Fennica 16, 83–94. Reprinted in L. Linsky (ed.), Reference and Modality, Oxford University Press (1971).
PlantingaA., The Nature of Necessity, Clarendon Press, Oxford (1974).
PriorA. N., Time and Modality, Clarendon Press, Oxford (1957).
StalnakerR., ‘Complex Predicates,’ Monist 60 (1977), 327–339.
Author information
Authors and Affiliations
Additional information
This paper is the third and final part of a series (see the references below). It was completed and submitted to the Journal of Philosophical Logic in 1977, at about the same time as the other parts. But because of some mishap in the mail, its publication was delayed. The present part is independent from the other parts in its results, but draws upon the terminology of Section 2 of Part I.
I should like to thank the editor, R. Thomason, for many valuable remarks on the earlier version of the paper.
Rights and permissions
About this article
Cite this article
Fine, K. Model theory for modal logic—Part III existence and predication. J Philos Logic 10, 293–307 (1981). https://doi.org/10.1007/BF00293421
Issue Date:
DOI: https://doi.org/10.1007/BF00293421