{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:23Z","timestamp":1740122483035,"version":"3.37.3"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2023,3,30]],"date-time":"2023-03-30T00:00:00Z","timestamp":1680134400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,30]],"date-time":"2023-03-30T00:00:00Z","timestamp":1680134400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s10849-023-09396-z","type":"journal-article","created":{"date-parts":[[2023,3,30]],"date-time":"2023-03-30T03:42:51Z","timestamp":1680147771000},"page":"441-471","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0685-9134","authenticated-orcid":false,"given":"Steffen","family":"Lewitzka","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,3,30]]},"reference":[{"key":"9396_CR1","unstructured":"Blok, W. J., & Pigozzi, D. (2001). Abstract algebraic logic and the deduction theorem. Bulletin of Symbolic Logic."},{"issue":"3","key":"9396_CR2","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1305\/ndjfl\/1093890617","volume":"13","author":"SL Bloom","year":"1972","unstructured":"Bloom, S. L., & Suszko, R. (1972). Investigation into the sentential calculus with identity. Notre Dame Journal of Formal Logic, 13(3), 289\u2013308.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9396_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., & Zakharyaschev, M. (1997). Modal logic. Clarendon Press."},{"issue":"1","key":"9396_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF02314421","volume":"34","author":"MJ Cresswell","year":"1975","unstructured":"Cresswell, M. J. (1975). Hyperintensional logic. Studia Logica, 34(1), 25\u201338.","journal-title":"Studia Logica"},{"key":"9396_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/9780470773543","volume-title":"Foundations of Intensional Semantics","author":"C Fox","year":"2005","unstructured":"Fox, C., & Lappin, S. (2005). Foundations of Intensional Semantics. Blackwell Publishing."},{"key":"9396_CR6","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644","volume-title":"A new introduction to modal logic","author":"GE Hughes","year":"1996","unstructured":"Hughes, G. E., & Cresswell, M. J. (1996). A new introduction to modal logic. Routledge."},{"key":"9396_CR7","volume-title":"Propositional calculus with identity, Bulletin of the Section of Logic 27(3)","author":"T Ishii","year":"1998","unstructured":"Ishii, T. (1998). Propositional calculus with identity, Bulletin of the Section of Logic 27(3). University of \u0141\u00f3d\u017a."},{"issue":"2","key":"9396_CR8","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10992-018-9467-0","volume":"48","author":"H Leitgeb","year":"2019","unstructured":"Leitgeb, H. (2019). HYPE: A system of hyperintensional logic (with an application to semantic paradoxes). Journal of Philosophical Logic, 48(2), 305\u2013405.","journal-title":"Journal of Philosophical Logic"},{"key":"9396_CR9","unstructured":"Lewis, C. I., & Langford, C. H. (1959). Symbolic logic, 1932. Dover reprint."},{"issue":"6","key":"9396_CR10","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1093\/jigpal\/jzr050","volume":"20","author":"S Lewitzka","year":"2012","unstructured":"Lewitzka, S. (2012). Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Logic Journal of the IGPL, 20(6), 1083\u20131109.","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"9396_CR11","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s11225-014-9577-9","volume":"103","author":"S Lewitzka","year":"2015","unstructured":"Lewitzka, S. (2015). Denotational semantics for modal systems S3\u2013S5 extended by axioms for propositional quantifiers and identity. Studia Logica, 103(3), 507\u2013544.","journal-title":"Studia Logica"},{"issue":"5","key":"9396_CR12","doi-asserted-by":"publisher","first-page":"1769","DOI":"10.1093\/logcom\/exu067","volume":"26","author":"S Lewitzka","year":"2016","unstructured":"Lewitzka, S. (2016). Algebraic semantics for a modal logic close to S1. Journal of Logic and Computation, 26(5), 1769\u20131783.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9396_CR13","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/jigpal\/jzx004","volume":"25","author":"S Lewitzka","year":"2017","unstructured":"Lewitzka, S. (2017). Epistemic extensions of combined classical and intuitionistic propositional logic. Logic Journal of the IGPL, 25(3), 309\u2013324.","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"9396_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"C Pollard","year":"2008","unstructured":"Pollard, C. (2008). Hyperintensions. Journal of Logic and Computation, 18(2), 257\u2013282.","journal-title":"Journal of Logic and Computation"},{"key":"9396_CR15","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02282541","volume":"27","author":"R Suszko","year":"1971","unstructured":"Suszko, R. (1971). Identity connective and modality. Studia Logica, 27, 7\u201339.","journal-title":"Studia Logica"},{"key":"9396_CR16","doi-asserted-by":"crossref","unstructured":"Suszko, R. (2006). Abolition of the fregean axiom, Lecture Notes in Mathematics, 453:169\u2013239 (1975), In: R. Parikh (Ed.) Logic colloquium. Springer.","DOI":"10.1007\/BFb0064874"},{"issue":"3","key":"9396_CR17","first-page":"197","volume":"2","author":"R Wawrzynczak","year":"1973","unstructured":"Wawrzynczak, R. (1973). Some Boolean theories in SCI. Bulletin of the Section of Logic, 2(3), 197\u2013204.","journal-title":"Bulletin of the Section of Logic"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09396-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-023-09396-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09396-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,9]],"date-time":"2023-12-09T22:14:15Z","timestamp":1702160055000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-023-09396-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,30]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["9396"],"URL":"https:\/\/doi.org\/10.1007\/s10849-023-09396-z","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2023,3,30]]},"assertion":[{"value":"12 March 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 March 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}