Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (31):481-490 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800263102

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.Hirokazu Nishimura - 1980 - Mathematical Logic Quarterly 26 (31):481-490.
The Semantical Characterization of de Dicto in Continuous Modal Model Theory.Hirokazu Nishimura - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (15):233-240.
Modal Models Corresponding to Models.Gerold Stahl - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):407-410.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I.J. A. Makowsky & A. Marcja - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):97-104.
A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems”.V. B. Šehtman - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):555-558.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):127-132.
A Modal Herbrand's Property.Marta Cialdea & Luis Fariñas del Cerro - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (31-34):523-530.
A Reflection Property for Saturated Models.Jerrold M. Gold - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):425-430.

Analytics

Added to PP
2015-12-02

Downloads
29 (#538,060)

6 months
3 (#1,207,367)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Models for modalities.Jaakko Hintikka - 1969 - Dordrecht: D. Reidel.
Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

View all 6 references / Add more references