{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:13:52Z","timestamp":1743149632803,"version":"3.40.3"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030446376"},{"type":"electronic","value":"9783030446383"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-44638-3_8","type":"book-chapter","created":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T21:02:41Z","timestamp":1585342961000},"page":"116-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Logic of Knowledge and Belief Based on Abstract Arguments"],"prefix":"10.1007","author":[{"given":"Xu","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y\u00ec N.","family":"W\u00e1ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,28]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-56992-8_3","volume-title":"Computer Science Logic","author":"S Art\u00ebmov","year":"1993","unstructured":"Art\u00ebmov, S., Stra\u00dfen, T.: The basic logic of proofs. In: B\u00f6rger, E., J\u00e4ger, G., Kleine B\u00fcning, H., Martini, S., Richter, M.M. (eds.) CSL 1992. LNCS, vol. 702, pp. 14\u201328. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56992-8_3"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","volume":"67","author":"SN Artemov","year":"1994","unstructured":"Artemov, S.N.: Logic of proofs. Ann. Pure Appl. Logic 67(1), 29\u201359 (1994)","journal-title":"Ann. Pure Appl. Logic"},{"key":"8_CR3","unstructured":"Artemov, S.N.: Operational modal logic. Technical report, Mathematical Sciences Institute, Cornell University (1995)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"SN Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. Bull. Symbolic Logic 7(1), 1\u201336 (2001)","journal-title":"Bull. Symbolic Logic"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.tcs.2006.03.009","volume":"357","author":"SN Artemov","year":"2006","unstructured":"Artemov, S.N.: Justified common knowledge. Theoret. Comput. Sci. 357(1), 4\u201322 (2006)","journal-title":"Theoret. Comput. Sci."},{"issue":"6","key":"8_CR6","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1093\/logcom\/exi053","volume":"15","author":"SN Artemov","year":"2005","unstructured":"Artemov, S.N., Nogina, E.: Introducing justification into epistemic logic. J. Logic Comput. 15(6), 1059\u20131073 (2005)","journal-title":"J. Logic Comput."},{"key":"8_CR7","unstructured":"Artemov, S.N., Nogina, E.: On epistemic logic with justification. In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 279\u2013294. National University of Singapore (2005)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-662-54332-0_12","volume-title":"Logic, Language, and Computation","author":"A Baltag","year":"2017","unstructured":"Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., Smets, S.: The topology of full and weak belief. In: Hansen, H.H., Murray, S.E., Sadrzadeh, M., Zeevat, H. (eds.) TbiLLC 2015. LNCS, vol. 10148, pp. 205\u2013228. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54332-0_12"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10992-018-9463-4","volume":"48","author":"A Baltag","year":"2019","unstructured":"Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., Smets, S.: A topological approach to full belief. J. Philos. Logic 48(2), 205\u2013244 (2019). https:\/\/doi.org\/10.1007\/s10992-018-9463-4","journal-title":"J. Philos. Logic"},{"issue":"133\u2013134","key":"8_CR10","first-page":"5","volume":"34","author":"JFAK Benthem van","year":"1991","unstructured":"van Benthem, J.F.A.K.: Reflections on epistemic logic. Logique et Analyse 34(133\u2013134), 5\u201314 (1991)","journal-title":"Logique et Analyse"},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/s10992-018-9473-2","volume":"48","author":"JC Bjerring","year":"2019","unstructured":"Bjerring, J.C., Skipper, M.: A dynamic solution to the problem of logical omniscience. J. Philos. Logic 48(3), 501\u2013521 (2019). https:\/\/doi.org\/10.1007\/s10992-018-9473-2","journal-title":"J. Philos. Logic"},{"key":"8_CR12","volume-title":"Modal Logic, Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Bonanno, G.: Logics for belief as maximally plausible possibility. Studia Logica (2019). https:\/\/doi.org\/10.1007\/s11225-019-09887-w","DOI":"10.1007\/s11225-019-09887-w"},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3166\/jancl.21.35-60","volume":"21","author":"S Bucheli","year":"2011","unstructured":"Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. J. Appl. Non-Class. Logics 21(1), 35\u201360 (2011)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"8_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"issue":"25","key":"8_CR16","doi-asserted-by":"publisher","first-page":"773","DOI":"10.2307\/2022834","volume":"60","author":"RM Chisholm","year":"1963","unstructured":"Chisholm, R.M.: The logic of knowing. J. Philos. 60(25), 773\u2013795 (1963)","journal-title":"J. Philos."},{"issue":"2","key":"8_CR17","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"8_CR18","unstructured":"Dutant, J.: Epistemic logics for derived knowledge and belief (manuscript)"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.: Belief, awareness, and limited reasoning. Artif. Intell. 34(1), 39\u201376 (1988)","journal-title":"Artif. Intell."},{"key":"8_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M Fitting","year":"2005","unstructured":"Fitting, M.: The logic of proofs, semantically. Ann. Pure Appl. Logic 132(1), 1\u201325 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0004-3702(97)00040-4","volume":"95","author":"N Friedman","year":"1997","unstructured":"Friedman, N., Halpern, J.Y.: Modeling belief in dynamic systems, Part I: foundations. Artif. Intell. 95(2), 257\u2013316 (1997)","journal-title":"Artif. Intell."},{"issue":"6","key":"8_CR23","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1093\/analys\/23.6.121","volume":"23","author":"EL Gettier","year":"1963","unstructured":"Gettier, E.L.: Is justified true belief knowledge? Analysis 23(6), 121\u2013123 (1963)","journal-title":"Analysis"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-31467-4_7","volume-title":"New Directions in Logic, Language and Computation","author":"M Ghari","year":"2012","unstructured":"Ghari, M.: Distributed knowledge with justifications. In: Lassiter, D., Slavkovik, M. (eds.) ESSLLI 2010-2011. LNCS, vol. 7415, pp. 91\u2013108. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31467-4_7"},{"issue":"1","key":"8_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00224-013-9492-x","volume":"55","author":"M Ghari","year":"2014","unstructured":"Ghari, M.: Distributed knowledge justification logics. Theory Comput. Syst. 55(1), 1\u201340 (2014). https:\/\/doi.org\/10.1007\/s00224-013-9492-x","journal-title":"Theory Comput. Syst."},{"key":"8_CR26","volume-title":"Knowledge and Belief: An Introduction to the Logic of Two Notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of Two Notions. Cornell University Press, Ithaca (1962)"},{"issue":"4","key":"8_CR27","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J Hintikka","year":"1975","unstructured":"Hintikka, J.: Impossible possible worlds vindicated. J. Philos. Logic 4(4), 475\u2013484 (1975). https:\/\/doi.org\/10.1007\/BF00558761","journal-title":"J. Philos. Logic"},{"issue":"10","key":"8_CR28","doi-asserted-by":"publisher","first-page":"4343","DOI":"10.1007\/s11229-017-1353-8","volume":"195","author":"D Klein","year":"2018","unstructured":"Klein, D., Roy, O., Gratzl, N.: Knowledge, belief, normality, and introspection. Synthese 195(10), 4343\u20134372 (2018). https:\/\/doi.org\/10.1007\/s11229-017-1353-8","journal-title":"Synthese"},{"issue":"1","key":"8_CR29","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","volume":"58","author":"S Kraus","year":"1988","unstructured":"Kraus, S., Lehmann, D.: Knowledge, belief and time. Theoret. Comput. Sci. 58(1), 155\u2013174 (1988)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Lamarre, P., Shoham, Y.: Knowledge, certainty, belief, and conditionalisation (abbreviated version). In: Principles of Knowledge Representation and Reasoning, pp. 415\u2013424. Elsevier (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50134-2"},{"issue":"8","key":"8_CR31","doi-asserted-by":"publisher","first-page":"225","DOI":"10.2307\/2024435","volume":"66","author":"K Lehrer","year":"1969","unstructured":"Lehrer, K., Paxson, T.: Knowledge: undefeated justified true belief. J. Philos. 66(8), 225\u2013237 (1969)","journal-title":"J. Philos."},{"key":"8_CR32","volume-title":"Recent Work in Epistemic Logic, Acta Philosophica Fennica","author":"W Lenzen","year":"1978","unstructured":"Lenzen, W.: Recent Work in Epistemic Logic, Acta Philosophica Fennica, vol. 30. North-Holland, Amsterdam (1978)"},{"key":"8_CR33","volume-title":"Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science","author":"JJC Meyer","year":"1995","unstructured":"Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)"},{"key":"8_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-63045-7_27","volume-title":"Logical Foundations of Computer Science","author":"A Mkrtychev","year":"1997","unstructured":"Mkrtychev, A.: Models for the logic of proofs. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol. 1234, pp. 266\u2013275. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63045-7_27"},{"issue":"2","key":"8_CR35","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0004-3702(93)90107-M","volume":"64","author":"Y Moses","year":"1993","unstructured":"Moses, Y., Shoham, Y.: Belief as defeasible knowledge. Artif. Intell. 64(2), 299\u2013321 (1993)","journal-title":"Artif. Intell."},{"issue":"3","key":"8_CR36","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/BF00413506","volume":"89","author":"R Stalnaker","year":"1991","unstructured":"Stalnaker, R.: The problem of logical omniscience. I. Synthese 89(3), 425\u2013440 (1991)","journal-title":"I. Synthese"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Stalnaker, R.: The problem of logical omniscience, II. In: Context and Content: Essays on Intentionality in Speech and Thought, Chap. 14. Oxford University Press (1999)","DOI":"10.1093\/0198237073.003.0015"},{"issue":"1","key":"8_CR38","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","volume":"128","author":"R Stalnaker","year":"2006","unstructured":"Stalnaker, R.: On logics of knowledge and belief. Philos. Stud. 128(1), 169\u2013199 (2006)","journal-title":"Philos. Stud."},{"issue":"1","key":"8_CR39","first-page":"15","volume":"11","author":"M Swain","year":"1974","unstructured":"Swain, M.: Epistemic defeasibility. Am. Philos. Q. 11(1), 15\u201325 (1974)","journal-title":"Am. Philos. Q."},{"key":"8_CR40","first-page":"97","volume":"9","author":"J Benthem Van","year":"2012","unstructured":"Van Benthem, J., Fern\u00e1ndez-Duque, D., Pacuit, E., et al.: Evidence logic: a new look at neighborhood structures. Adv. Modal Logic 9, 97\u2013118 (2012)","journal-title":"Adv. Modal Logic"},{"key":"8_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/BFb0018462","volume-title":"Logics in AI","author":"F Voorbraak","year":"1991","unstructured":"Voorbraak, F.: The logic of objective knowledge and rational belief. In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 499\u2013515. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0018462"},{"key":"8_CR42","unstructured":"Voorbraak, F.: As Far as I Know: Epistemic Logic and Uncertainty. Ph.D. thesis, Utrecht University, January 1993"},{"key":"8_CR43","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1093\/mind\/106.424.717","volume":"106","author":"T Williamson","year":"1997","unstructured":"Williamson, T.: Knowledge as evidence. Mind 106, 717\u2013742 (1997)","journal-title":"Mind"},{"key":"8_CR44","volume-title":"Knowledge and Its Limits","author":"T Williamson","year":"2000","unstructured":"Williamson, T.: Knowledge and Its Limits. Oxford University Press, Oxford (2000)"},{"key":"8_CR45","first-page":"1","volume":"4","author":"T Williamson","year":"2009","unstructured":"Williamson, T.: Probability and danger. Amherst Lect. Philos. 4, 1\u201335 (2009)","journal-title":"Amherst Lect. Philos."},{"key":"8_CR46","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"An Essay in Modal Logic","author":"GH Wright von","year":"1951","unstructured":"von Wright, G.H.: An Essay in Modal Logic. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam (1951)"}],"container-title":["Lecture Notes in Computer Science","Logic and Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-44638-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T00:19:31Z","timestamp":1722644371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-44638-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030446376","9783030446383"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-44638-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"28 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CLAR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic and Argumentation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"clar2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.xixilogic.org\/events\/clar2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}