{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T20:25:15Z","timestamp":1775075115074,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1985,5,1]],"date-time":"1985-05-01T00:00:00Z","timestamp":483753600000},"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":[[1985,5]]},"DOI":"10.1007\/bf00245990","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T21:08:13Z","timestamp":1096924093000},"page":"111-128","source":"Crossref","is-referenced-by-count":10,"title":["Carnapian extensions of S5"],"prefix":"10.1007","volume":"14","author":[{"given":"Herbert E.","family":"Hendry","sequence":"first","affiliation":[]},{"given":"M. L.","family":"Pokriefka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2268610","volume":"11","author":"R. Carnap","year":"1946","unstructured":"Carnap, R., ?Modalities and quantification?, Journal of Symbolic Logic 11 (1946), 33?64.","journal-title":"Journal of Symbolic Logic"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF02350366","volume":"3","author":"R. Carnap","year":"1952","unstructured":"Carnap, R., ?Meaning postulates?, Philosophical Studies 3 (1952), 65?73. Reprinted in Carnap [3].","journal-title":"Philosophical Studies"},{"key":"CR3","volume-title":"Meening and Necessity","author":"R. Carnap","year":"1956","unstructured":"Carnap, R., Meening and Necessity (2nd edition), University of Chicago Press, Chicago, 1956.","edition":"2nd edition"},{"key":"CR4","volume-title":"Introduction to Mathematical Logic","author":"A. Church","year":"1956","unstructured":"Church, A., Introduction to Mathematical Logic, Princeton University Press, Princeton, 1956."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF02381515","volume":"4","author":"N. Cocchiarella","year":"1974","unstructured":"Cocchiarella, N., ?Logical atomism and Modal Logic?, Philosophia 4 (1974), 41?66.","journal-title":"Philosophia"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF00263118","volume":"4","author":"N. Cocchiarella","year":"1975","unstructured":"Cocchiarella, N., ?On the primary and secondary semantics of logical necessity?, Journal of Philosophical Logic 4 (1975), 13?27.","journal-title":"Journal of Philosophical Logic"},{"key":"CR7","unstructured":"Feys, R., ?Carnap on modalities?, in Schilpp, P. A. (ed.) The Philosophy of Rudolf Carnap, Open Court LaSalle, 1963, pp. 283?297."},{"key":"CR8","first-page":"402","volume":"39","author":"W. H. Hanson","year":"1974","unstructured":"Hanson, W. H., ?An alternative semantics for propositional modal Logic?, (Abstract) Journal of Symbolic Logic 39 (1974) 402?403.","journal-title":"Journal of Symbolic Logic"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. A. Kripke","year":"1959","unstructured":"Kripke, S. A., ?A completeness theorem in modal logic?, Journal of Symbolic Logic 24 (1959), 1?14.","journal-title":"Journal of Symbolic Logic"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. A. Kripke","year":"1963","unstructured":"Kripke, S. A., ?Semantical analysis of modal logic 1?, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (1963), 67?96.","journal-title":"Zeitschrift fur mathematische Logik und Grundlagen der Mathematik"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1080\/00048406612341161","volume":"44","author":"D. Makinson","year":"1966","unstructured":"Makinson, D., ?How meaningful are modal operators??, Australasian Journal of Philosophy 44 (1966), 331?337.","journal-title":"Australasian Journal of Philosophy"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"593","DOI":"10.2307\/2269695","volume":"31","author":"G. J. Massey","year":"1966","unstructured":"Massey, G. J., ?The theory of truth tabular connectives, both truth functional and modal?, Journal of Symbolic Logic 31 (1966), 593?608.","journal-title":"Journal of Symbolic Logic"},{"key":"CR13","volume-title":"Understanding Symbolic Logic","author":"G. J. Massey","year":"1970","unstructured":"Massey, G. J., Understanding Symbolic Logic, Harper, New York, 1970."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J. C. C. McKinsey","year":"1948","unstructured":"McKinsey, J. C. C. and Tarski, A., ?Some theorems about the sentential calculi of Lewis and Heyting?, Journal of Symbolic Logic 13 (1948), 1?15.","journal-title":"Journal of Symbolic Logic"},{"key":"CR15","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1979","unstructured":"Mendelson, E., Introduction to Mathematical Logic (2nd edition), Van Nostrand, New York, 1979.","edition":"2nd edition"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"112","DOI":"10.2307\/2266683","volume":"16","author":"S. J. Scroggs","year":"1951","unstructured":"Scroggs, S. J., ?Extensions of the Lewis system S5?, Journal of Symbolic Logic 16 (1951), 112?120.","journal-title":"Journal of Symbolic Logic"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1305\/ndjfl\/1093890907","volume":"14","author":"S. K. Thomason","year":"1973","unstructured":"Thomason, S. K., ?A new representation of S5?, Notre Dame Journal of Formal Logic 14 (1973), 281?284.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00245990.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00245990\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00245990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T15:55:09Z","timestamp":1554306909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00245990"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,5]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985,5]]}},"alternative-id":["BF00245990"],"URL":"https:\/\/doi.org\/10.1007\/bf00245990","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,5]]}}}