{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:06:41Z","timestamp":1759147601536},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,9,21]],"date-time":"2014-09-21T00:00:00Z","timestamp":1411257600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s11225-014-9577-9","type":"journal-article","created":{"date-parts":[[2014,9,20]],"date-time":"2014-09-20T14:25:49Z","timestamp":1411223149000},"page":"507-544","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Denotational Semantics for Modal Systems S3\u2013S5 Extended by Axioms for Propositional Quantifiers and Identity"],"prefix":"10.1007","volume":"103","author":[{"given":"Steffen","family":"Lewitzka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,21]]},"reference":[{"key":"9577_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic,","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic, . Cambridge University Press, Cambridge (2001)"},{"key":"9577_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF02282544","volume":"27","author":"S.L. Bloom","year":"1971","unstructured":"Bloom S.L.: A completeness theorem for \u201cTheories of Kind W\u201d. Studia Logica 27, 43\u201355 (1971)","journal-title":"Studia Logica"},{"key":"9577_CR3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02124265","volume":"28","author":"S.L. Bloom","year":"1971","unstructured":"Bloom S.L., Suszko R.: Semantics for the sentential calculus with identity. Studia Logica 28, 77\u201381 (1971)","journal-title":"Studia Logica"},{"issue":"3","key":"9577_CR4","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1305\/ndjfl\/1093890617","volume":"13","author":"S.L. Bloom","year":"1972","unstructured":"Bloom S.L., Suszko R.: Investigation into the sentential calculus with identity. Notre Dame Journal of Formal Logic 13(3), 289\u2013308 (1972)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9577_CR5","doi-asserted-by":"crossref","first-page":"257","DOI":"10.2307\/2271102","volume":"34","author":"R.A. Bull","year":"1969","unstructured":"Bull R.A.: On modal logic with propositional quantifiers. The Journal of Symbolic Logic 34, 257\u2013263 (1969)","journal-title":"The Journal of Symbolic Logic"},{"key":"9577_CR6","first-page":"191","volume":"31","author":"M.J. Cresswell","year":"1965","unstructured":"Cresswell M.J.: Another basis of S4. Logique et Analyse 31, 191\u2013195 (1965)","journal-title":"Logique et Analyse"},{"issue":"40","key":"9577_CR7","first-page":"283","volume":"39","author":"M.J. Cresswell","year":"1967","unstructured":"Cresswell M.J.: Propositional identity. Logique et Analyse 39(40), 283\u2013292 (1967)","journal-title":"Logique et Analyse"},{"issue":"3","key":"9577_CR8","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","volume":"36","author":"K. Fine","year":"1970","unstructured":"Fine K.: quantifiers in modal logic. Theoria 36(3), 336\u2013346 (1970)","journal-title":"Theoria"},{"key":"9577_CR9","doi-asserted-by":"crossref","DOI":"10.1002\/9780470773543","volume-title":"Foundations of Intensional Semantics","author":"C. Fox","year":"2005","unstructured":"Fox C., Lappin S.: Foundations of Intensional Semantics. Blackwell Publishing, Hoboken (2005)"},{"key":"9577_CR10","unstructured":"Hermes, H., Term Logic with Choice Operator, Springer, Berlin, 1970, English version of Eine Termlogik mit Auswahloperator, Springer, Berlin, 1965."},{"key":"9577_CR11","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A new Introduction to Modal Logic","author":"G.E. Hughes","year":"1996","unstructured":"Hughes G.E., Cresswell M.J.: A new Introduction to Modal Logic. Routledge, London (1996)"},{"key":"9577_CR12","unstructured":"Ishii, T., Propositional calculus with identity. Bulletin of the Section of Logic 27\/3:96\u2013104, 1998."},{"key":"9577_CR13","unstructured":"Ishii, T., Propositional Calculus with Identity, Dissertation, Japan Advanced Institute of Science and Technology, Nomi, 2000."},{"issue":"3","key":"9577_CR14","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1215\/00294527-2009-012","volume":"50","author":"S. Lewitzka","year":"2009","unstructured":"Lewitzka S.: \u2208 I : an intuitionistic logic without Fregean axiom and with predicates for truth and falsity. Notre Dame Journal of Formal Logic 50(3), 275\u2013301 (2009)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"9577_CR15","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s11225-011-9304-8","volume":"97","author":"S. Lewitzka","year":"2011","unstructured":"Lewitzka S.: \u2208 K : a non-Fregean logic of explicit knowledge. Studia Logica 97(2), 233\u2013264 (2011)","journal-title":"Studia Logica"},{"issue":"6","key":"9577_CR16","doi-asserted-by":"crossref","first-page":"1083","DOI":"10.1093\/jigpal\/jzr050","volume":"20","author":"S. Lewitzka","year":"2012","unstructured":"Lewitzka S.: Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. The Logic Journal of the IGPL 20(6), 1083\u20131109 (2012)","journal-title":"The Logic Journal of the IGPL"},{"issue":"2","key":"9577_CR17","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"C. Pollard","year":"2008","unstructured":"Pollard C.: Hyperintensions. Journal of Logic and Computation 18(2), 257\u2013282 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"9577_CR18","doi-asserted-by":"crossref","unstructured":"Rautenberg, W., Einf\u00fchrung in die Mathematische Logik, 3rd edn., Vieweg+Teubner, 2008, (English version A Concise Introduction to Mathematical Logic, 3rd edn., Springer, New York, 2009).","DOI":"10.1007\/978-3-8348-9530-1"},{"key":"9577_CR19","unstructured":"Str\u00e4ter, W., \u2208 T Eine Logik erster Stufe mit Selbstreferenz und totalem Wahrheitspr\u00e4dikat, Dissertation, KIT-Report 98, Technische Universit\u00e4t Berlin, 1992."},{"key":"9577_CR20","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1305\/ndjfl\/1093893349","volume":"9","author":"R. Suszko","year":"1968","unstructured":"Suszko R.: Ontology in the tractatus of L. Wittgenstein, Notre Dame Journal of Formal Logic 9, 7\u201333 (1968)","journal-title":"Wittgenstein, Notre Dame Journal of Formal Logic"},{"key":"9577_CR21","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02282541","volume":"27","author":"R. Suszko","year":"1971","unstructured":"Suszko R.: connective and modality. Studia Logica 27, 7\u201339 (1971)","journal-title":"Studia Logica"},{"key":"9577_CR22","doi-asserted-by":"crossref","unstructured":"Suszko, R., Abolition of the Fregean axiom, in R. Parikh (ed.), Logic Colloquium, vol. 453 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 169\u2013239,1975.","DOI":"10.1007\/BFb0064874"},{"key":"9577_CR23","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF00370505","volume":"43","author":"R. W\u00f3jcicki","year":"1984","unstructured":"W\u00f3jcicki R., Suszko\u2019s R.: situational semantics.. Studia Logica 43, 323\u2013340 (1984)","journal-title":"Studia Logica"},{"key":"9577_CR24","unstructured":"Zeitz, P., Parametrisierte \u2208T-Logik\u2014eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation, Dissertation, Logos Verlag Berlin, 2000."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9577-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-014-9577-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9577-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,17]],"date-time":"2022-04-17T13:32:44Z","timestamp":1650202364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-014-9577-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,21]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["9577"],"URL":"https:\/\/doi.org\/10.1007\/s11225-014-9577-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,21]]}}}