{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T05:57:00Z","timestamp":1726207020192},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,12,16]],"date-time":"2012-12-16T00:00:00Z","timestamp":1355616000000},"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":[[2014,2]]},"DOI":"10.1007\/s10992-012-9256-0","type":"journal-article","created":{"date-parts":[[2012,12,15]],"date-time":"2012-12-15T03:02:07Z","timestamp":1355540527000},"page":"133-152","source":"Crossref","is-referenced-by-count":6,"title":["The Power of a Propositional Constant"],"prefix":"10.1007","volume":"43","author":[{"given":"Robert","family":"Goldblatt","sequence":"first","affiliation":[]},{"given":"Tomasz","family":"Kowalski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,12,16]]},"reference":[{"issue":"1","key":"9256_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11225-010-9269-z","volume":"96","author":"G Akishev","year":"2010","unstructured":"Akishev, G., & Goldblatt, R. (2010). Monadic bounded algebras. Studia Logica, 96(1), 1\u201340.","journal-title":"Studia Logica"},{"key":"9256_CR2","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"AR Anderson","year":"1958","unstructured":"Anderson, A.R. (1958). A reduction of deontic logic to alethic modal logic. Mind (New Series), 67, 100\u2013103.","journal-title":"Mind (New Series)"},{"issue":"2","key":"9256_CR3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1215\/00294527-1306190","volume":"52","author":"G Bezhanishvili","year":"2011","unstructured":"Bezhanishvili, G., Ghilardi, S., Jibladze, M. (2011). An algebraic approach to subframe logics. Modal case. Notre Dame Journal of Formal Logic, 52(2), 187\u2013202.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9256_CR4","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/malq.19660120129","volume":"12","author":"RA Bull","year":"1966","unstructured":"Bull, R.A. (1966). That all normal extensions of S4.3 have the finite model property. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 12, 341\u2013344.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9256_CR5","doi-asserted-by":"crossref","unstructured":"Chagrov, A., & Zakharyaschev, M. (1997). Modal logic. Oxford University Press.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9256_CR6","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/j.apal.2003.11.013","volume":"127","author":"L Esakia","year":"2004","unstructured":"Esakia, L. (2004). Intuitionistic logic and modality via topology. Annals of Pure and Applied Logic, 127, 155\u2013170.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9256_CR7","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1002\/malq.19710170141","volume":"17","author":"K Fine","year":"1971","unstructured":"Fine, K. (1971). The logics containing S4.3. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 17, 371\u2013376.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"1","key":"9256_CR8","doi-asserted-by":"crossref","first-page":"31","DOI":"10.2307\/2272340","volume":"39","author":"K Fine","year":"1974","unstructured":"Fine, K. (1974). Logics containing K4. Part I. The Journal of Symbolic Logic, 39(1), 31\u201342.","journal-title":"The Journal of Symbolic Logic"},{"issue":"4","key":"9256_CR9","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1215\/00294527-1722746","volume":"53","author":"R French","year":"2012","unstructured":"French, R. (2012). Denumerably many post-complete normal modal logics with propositional constants. Notre Dame Journal of Formal Logic, 53(4), 549\u2013556.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"9256_CR10","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/BF00370431","volume":"44","author":"R Goldblatt","year":"1985","unstructured":"Goldblatt, R. (1985). An algebraic study of well-foundedness. Studia Logica, 44(4), 423\u2013437.","journal-title":"Studia Logica"},{"key":"9256_CR11","unstructured":"Halmos, P.R. (1962). Algebraic logic. New York: Chelsea."},{"key":"9256_CR12","unstructured":"Harel, D. (1984). Dynamic logic. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic, volume II: Extensions of classical logic (pp. 497\u2013604). D. Reidel."},{"key":"9256_CR13","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., & Tarski, A. (1951). Boolean algebras with operators, part I. American Journal of Mathematics, 73, 891\u2013939.","journal-title":"American Journal of Mathematics"},{"key":"9256_CR14","first-page":"53","volume":"32","author":"T Kowalski","year":"1998","unstructured":"Kowalski, T. (1998). Varieties of tense algebras. Reports on Mathematical Logic, 32, 53\u201395.","journal-title":"Reports on Mathematical Logic"},{"key":"9256_CR15","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s11225-006-8308-2","volume":"83","author":"T Kowalski","year":"2006","unstructured":"Kowalski, T., & Kracht, M. (2006). Semisimple varieties of modal algebras. Studia Logica, 83, 351\u2013363.","journal-title":"Studia Logica"},{"key":"9256_CR16","unstructured":"Kripke, S.A. (1965). Semantical analysis of modal logic II. Non-normal modal propositional calculi. In J. W. Addison, L. Henkin, A. Tarski (Eds.), The Theory of Models (pp. 206\u2013220). North-Holland."},{"key":"9256_CR17","unstructured":"Litak, T. (2005). On notions of completeness weaker than Kripke completeness. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, H. Wansing (Eds.), Advances in Modal Logic (Vol. 5, pp. 149\u2013169). London: King\u2019s College Publications. www.aiml.net ."},{"key":"9256_CR18","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","volume":"12","author":"DC Makinson","year":"1971","unstructured":"Makinson, D.C. (1971). Some embedding theorems for modal logic. Notre Dame Journal of Formal Logic, 12, 252\u2013254.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9256_CR19","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1093\/mind\/LXIX.275.289","volume":"69","author":"PH Nowell-Smith","year":"1960","unstructured":"Nowell-Smith, P.H., & Lemmon, E.J. (1960). Escapism: the logical basis of ethics. Mind (New Series), 69, 289\u2013300.","journal-title":"Mind (New Series)"},{"key":"9256_CR20","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2370324","volume":"43","author":"EL Post","year":"1921","unstructured":"Post, E.L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43, 163\u2013185. Reprinted in [27], 264\u2013283.","journal-title":"American Journal of Mathematics"},{"key":"9256_CR21","unstructured":"Prior, A.N. (1985). Escapism: The logical basis of ethics. In A.I. Melden (Ed.), Essays in moral philosophy (pp. 135\u2013146). University of Washington Press."},{"key":"9256_CR22","unstructured":"Segerberg, K. (1971). An Essay in Classical Modal Logic, volume 13 of Filosof iska Studier. Uppsala Universitet."},{"issue":"4","key":"9256_CR23","doi-asserted-by":"crossref","first-page":"711","DOI":"10.2307\/2272418","volume":"37","author":"K Segerberg","year":"1972","unstructured":"Segerberg, K. (1972). Post completeness in modal logic. The Journal of Symbolic Logic, 37(4), 711\u2013715.","journal-title":"The Journal of Symbolic Logic"},{"key":"9256_CR24","doi-asserted-by":"crossref","unstructured":"Segerberg, K. (1975). That every extension of S4.3 is normal. In S. Kanger (Ed.), Proceedings of the third scandinavian logic symposium (pp. 194\u2013196). North-Holland.","DOI":"10.1016\/S0049-237X(08)70731-6"},{"key":"9256_CR25","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0019-9958(82)91258-X","volume":"54","author":"RS Streett","year":"1982","unstructured":"Streett, R.S. (1982). Propositional dynamic logic of looping and converse is elementarily decidable. Information and Control, 54, 121\u2013141.","journal-title":"Information and Control"},{"key":"9256_CR26","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","volume":"37","author":"SK Thomason","year":"1972","unstructured":"Thomason, S.K. (1972). Semantic analysis of tense logic. The Journal of Symbolic Logic, 37, 150\u2013158.","journal-title":"The Journal of Symbolic Logic"},{"key":"9256_CR27","unstructured":"van Heijenoort, J. (Ed.). (1967). From Frege to G\u00f6del: A source book in mathematical logic (pp. 1879\u20131931). Harvard University Press."},{"issue":"1","key":"9256_CR28","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1305\/ndjfl\/1039293024","volume":"39","author":"T Williamson","year":"1998","unstructured":"Williamson, T. (1998). Continuum many maximal consistent normal bimodal logics with inverses. Notre Dame Journal of Formal Logic, 39(1), 128\u2013134.","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\/s10992-012-9256-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-012-9256-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9256-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T10:48:11Z","timestamp":1714733291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-012-9256-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,16]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["9256"],"URL":"https:\/\/doi.org\/10.1007\/s10992-012-9256-0","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12,16]]}}}