{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:33:01Z","timestamp":1752229981788},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1975,5,1]],"date-time":"1975-05-01T00:00:00Z","timestamp":168134400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1975,5]]},"DOI":"10.1007\/bf00693269","type":"journal-article","created":{"date-parts":[[2004,11,29]],"date-time":"2004-11-29T10:51:56Z","timestamp":1101725516000},"page":"97-131","source":"Crossref","is-referenced-by-count":12,"title":["Normal modal model theory"],"prefix":"10.1007","volume":"4","author":[{"given":"Kenneth A.","family":"Bowen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"1","volume-title":"Saturated Intuitionistic Theories","author":"P. Aczel","year":"1968","unstructured":"P.Aczel,Saturated Intuitionistic Theories, Contributions to Mathematical Logic, North Holland, Amsterdam, 1968, pp. 1?11."},{"key":"CR2","volume-title":"Models and Ultraproducts","author":"J. Bell","year":"1971","unstructured":"J.Bell and A.Slomsen,Models and Ultraproducts, North Holland, Amsterdam, 1971."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"195","DOI":"10.4064\/fm-51-3-195-228","volume":"51","author":"T. Frayne","year":"1962","unstructured":"T.Frayne, A.Morel, and D.Scott, ?Reduced Direct Products?,Fund. Math. 51 (1962), 195?228.","journal-title":"Fund. Math."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/malq.19720180402","volume":"18","author":"D. Gabbay","year":"1972","unstructured":"D.Gabbay, ?Model Theory for Intuitionistic Logic?,Zeit. f. Math. Logik, und Grundl. d. Math. 18 (1972), 49?54.","journal-title":"Zeit. f. Math. Logik, und Grundl. d. Math."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"D. Gabbey,Craig's Interpolation Theorem for Modal Logics, Conference in Mathematical Logic-London `70, Lecture Notes in Mathematics, No. 255, Springer, 1972, pp. 111?127.","DOI":"10.1007\/BFb0059541"},{"key":"CR6","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0061131","volume-title":"Lectures in Set Theory","author":"T. Jech","year":"1971","unstructured":"T.Jech,Lectures in Set Theory, Lecture Notes in Mathematics, No. 217, Springer-Verlag, Berlin, 1971."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"S.Kripke, ?A Completeness Theorem in Modal Logic?,Journal of Symbolic Logic,24 (1959), 1?14.","journal-title":"Journal of Symbolic Logic"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"S.Kripke, ?Semantical Analysis of Modal Logic I, Normal Propositional Calculi?,Zeit. f. math. Logik und Grundlagen d. Math. 9 (1963), 67?96.","journal-title":"Zeit. f. math. Logik und Grundlagen d. Math."},{"key":"CR9","unstructured":"S. Kripke,Semantical Considerations on Modal Logics, Acta Philosophica Fennica (1963) Modal and Many-valued Logics, pp. 83?94."},{"key":"CR10","first-page":"92","volume-title":"Semantical Analysis of Intuitionistic Logic I","author":"S. Kripke","year":"1965","unstructured":"S.Kripke,Semantical Analysis of Intuitionistic Logic I, Formal Systems and Recursive Functions, North Holland, Amsterdam, 1965, pp. 92?129."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/1970235","volume":"74","author":"S. Kochen","year":"1962","unstructured":"S.Kochen, ?Ultraproducts in the Theory of Models?,Annals of Math. 74 (1962), 221?261.","journal-title":"Annals of Math."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF01967647","volume":"13","author":"H. Osswald","year":"1969","unstructured":"H.Osswald, ?Modelltheoretische untersuchungen in der Kripke-semantik?,Archiv. f. Math. Logik und Grundlagenforschung 13 (1969), 3?21.","journal-title":"Archiv. f. Math. Logik und Grundlagenforschung"},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-88664-5","volume-title":"Vollstandige Systeme Modaler und Intuitionistischer Logik","author":"K. Schutte","year":"1968","unstructured":"K.Schutte,Vollstandige Systeme Modaler und Intuitionistischer Logik, Springer-Verlag, Berlin, 1968."},{"key":"CR14","volume-title":"Mathematical Logic","author":"J. Shoenfield","year":"1967","unstructured":"J.Shoenfield,Mathematical Logic, Addison-Wesley, Reading, Mass., 1967."},{"key":"CR15","first-page":"81","volume":"13","author":"A. Tarski","year":"1957","unstructured":"A.Tarski and R.Vaught, ?Arithmetical Extensions of Relational Systems?,Composito Mathematica 13 (1957), 81?102.","journal-title":"Composito Mathematica"},{"key":"CR16","first-page":"167","volume":"12","author":"B. Fraasen van","year":"1969","unstructured":"B.vanFraasen, ?Compactness and L\u00f6wenheim-Skolem Proofs in Modal Logic?,Logique et Analyse 12 (1969), 167?178.","journal-title":"Logique et Analyse"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00693269.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00693269\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00693269","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T11:18:32Z","timestamp":1585999112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00693269"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,5]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975,5]]}},"alternative-id":["BF00693269"],"URL":"https:\/\/doi.org\/10.1007\/bf00693269","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975,5]]}}}