{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:36:25Z","timestamp":1740123385451,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T00:00:00Z","timestamp":1489017600000},"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":["Synthese"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s11229-017-1353-8","type":"journal-article","created":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T15:26:33Z","timestamp":1489073193000},"page":"4343-4372","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge, belief, normality, and introspection"],"prefix":"10.1007","volume":"195","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7743-8399","authenticated-orcid":false,"given":"Dominik","family":"Klein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Gratzl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,9]]},"reference":[{"key":"1353_CR1","unstructured":"Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., & Smets, S. (2013). The topology of belief, belief revision and defeasible knowledge. In D. Grossi, O. Roy & H. Huang (Eds.), Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science (Vol. 8196). Berlin: Springer."},{"key":"1353_CR2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N Belnap","year":"1982","unstructured":"Belnap, N. (1982). Display logic. Journal of Philosophical Logic, 11, 375\u2013417.","journal-title":"Journal of Philosophical Logic"},{"key":"1353_CR3","volume-title":"Modal logic","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., De Rijke, M., & Venema, Y. (2002). Modal logic (Vol. 53). Cambridge: Cambridge University Press."},{"key":"1353_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: An introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B. F. (1980). Modal logic: An introduction. Cambridge: Cambridge University Press."},{"issue":"6","key":"1353_CR5","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1007\/s11225-014-9566-z","volume":"102","author":"A Ciabattoni","year":"2014","unstructured":"Ciabattoni, A., Ramanayake, R., & Wansing, H. (2014). Hypersequent and display calculi-a unified perspective. Studia Logica, 102(6), 1245\u20131294.","journal-title":"Studia Logica"},{"issue":"3","key":"1353_CR6","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s001820050114","volume":"28","author":"R Fagin","year":"1999","unstructured":"Fagin, R., Geanakoplos, J., Halpern, J. Y., & Vardi, M. Y. (1999). The hierarchical approach to modeling knowledge and common knowledge. International Journal of Game Theory, 28(3), 331\u2013365.","journal-title":"International Journal of Game Theory"},{"issue":"7","key":"1353_CR7","doi-asserted-by":"publisher","first-page":"2097","DOI":"10.1007\/s11229-015-0834-x","volume":"193","author":"P Galeazzi","year":"2016","unstructured":"Galeazzi, P., & Lorini, E. (2016). Epistemic logic meets epistemic game theory: A comparison between multi-agent kripke models and type spaces. Synthese, 193(7), 2097\u20132127.","journal-title":"Synthese"},{"issue":"1","key":"1353_CR8","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G. (1935). Untersuchungen \u00fcber das logische schlie\u00dfen. i. Mathematische Zeitschrift, 39(1), 176\u2013210.","journal-title":"Mathematische Zeitschrift"},{"issue":"4","key":"1353_CR9","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1023\/A:1025059002654","volume":"12","author":"VF Hendricks","year":"2003","unstructured":"Hendricks, V. F. (2003). Active agents. Journal of Logic, Language and Information, 12(4), 469\u2013495.","journal-title":"Journal of Logic, Language and Information"},{"key":"1353_CR10","volume-title":"Knowledge and belief: An introduction to the logic of the two notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief: An introduction to the logic of the two notions. New York: Cornell University Press."},{"issue":"2","key":"1353_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11225-014-9545-4","volume":"102","author":"D Klein","year":"2014","unstructured":"Klein, D., & Pacuit, E. (2014). Changing types: Information dynamics for qualitative type spaces. Studia Logica, 102(2), 297\u2013319.","journal-title":"Studia Logica"},{"key":"1353_CR12","first-page":"95","volume-title":"Proof theory of modal logic","author":"M Kracht","year":"1996","unstructured":"Kracht, M. (1996). Power and weakness of the modal display calculus. In H. Wansing (Ed.), Proof theory of modal logic (pp. 95\u2013120). Oxford: OUP."},{"issue":"2","key":"1353_CR13","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1215\/00318108-2400575","volume":"123","author":"H Leitgeb","year":"2014","unstructured":"Leitgeb, H. (2014). The stability theory of belief. Philosophical Review, 123(2), 131\u2013171.","journal-title":"Philosophical Review"},{"issue":"1","key":"1353_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF00205012","volume":"14","author":"W Lenzen","year":"1979","unstructured":"Lenzen, W. (1979). Epistemologische betrachtungen zu [s4, s5]. Erkenntnis, 14(1), 33\u201356.","journal-title":"Erkenntnis"},{"key":"1353_CR15","unstructured":"\u00d6zg\u00fcn, A. (2013). Topological models for belief and belief revision. Master\u2019s thesis, Universiteit van Amsterdam."},{"key":"1353_CR16","doi-asserted-by":"crossref","unstructured":"Pacuit, E. (2016). Neighborhood Semantics for Modal Logic (Forthcoming).","DOI":"10.1007\/978-3-319-67149-9"},{"key":"1353_CR17","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11229-008-9425-4","volume":"173","author":"F Poggiolesi","year":"2011","unstructured":"Poggiolesi, F. (2011). Display calculi and other modal calculi: A comparison. Synthese, 173, 259\u2013279.","journal-title":"Synthese"},{"issue":"1","key":"1353_CR18","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","volume":"128","author":"R Stalnaker","year":"2006","unstructured":"Stalnaker, R. (2006). On logics of knowledge and belief. Philosophical Studies, 128(1), 169\u2013199.","journal-title":"Philosophical Studies"},{"key":"1353_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1280-4","volume-title":"Displaying modal logic","author":"H Wansing","year":"1998","unstructured":"Wansing, H. (1998). Displaying modal logic. Dordrecht: Kluwer Academic Publishers."},{"key":"1353_CR20","doi-asserted-by":"crossref","unstructured":"Wansing, H. (2002). Sequent systems for modal logics. In Handbook of philosophical logic (Vol. 8, pp. 61\u2013145). Berlin: Springer.","DOI":"10.1007\/978-94-010-0387-2_2"},{"key":"1353_CR21","volume-title":"Knowledge and its limits","author":"T Williamson","year":"2000","unstructured":"Williamson, T. (2000). Knowledge and its limits. oxford: Oxford University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-017-1353-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1353-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1353-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,3]],"date-time":"2020-10-03T17:01:17Z","timestamp":1601744477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-017-1353-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,9]]},"references-count":21,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["1353"],"URL":"https:\/\/doi.org\/10.1007\/s11229-017-1353-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2017,3,9]]}}}