The expressive power of second-order propositional modal logic

Notre Dame Journal of Formal Logic

Volumn 37, Issue 1, 1996, Pages 35-43

  Kaminski, Michael ^a   Tiomkin, Michael ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b INTEL CORPORATION   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 11344270523     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1040067314     Document Type: Article

References (10)

1. Fine, K., “Propositional quantifiers in modal logic,” Theoria, vol. 36 (1970), pp. 336-346.
2. Fine, K., “Model theory for modal logic, part I: the de re/de dicto distinction,” Journal of Philosophical Logic, vol. 7 (1978), pp. 125-156.
3. Fine, K., “Model theory for modal logic, part II: the elimination of de re modality,” Journal of Philosophical Logic, vol. 7 (1978), pp. 277-306.
4. Garson, J. W., “Quantification in modal logic,” pp. 249-307 in Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenther, Reidel, Dordrecht, 1984.
5. Gurevich, Y., and S. Shelah, “Monadic theory of order and topology in ZFC,” Annals of Mathematical Logic, vol. 23 (1983), pp. 179-198.
6. Gurevich, Y., and S. Shelah, “Interpreting second-order logic in the monadic theory of order,” The Journal of Symbolic Logic vol. 48 (1983), pp. 816-828.
7. Hughes, G. E., and M. J. Cresswell, A Companion to Modal Logic, Methuen, London, 1984.
8. Kamp, H., “Two related theorems by D. Scott and S. Kripke,” unpublished manuscript, 1977.
9. Shelah, S., “The monadic theory of order,” Annals of Mathematics vol. 102 (1975), pp. 379-419.
10. Thomason, R. H., “Modal logic and metaphysics,” pp. 119-146 in The Logical Way of Doing Things, edited by K. Lambert, Yale University Press, New Haven, 1969.