{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:38:56Z","timestamp":1740141536095,"version":"3.37.3"},"reference-count":60,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2021,1,23]],"date-time":"2021-01-23T00:00:00Z","timestamp":1611360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100012325","name":"National Social Science Fund of China","doi-asserted-by":"publisher","award":["16CZX048","16CZX048","20&ZD047"],"award-info":[{"award-number":["16CZX048","16CZX048","20&ZD047"]}],"id":[{"id":"10.13039\/501100012325","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,22]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We introduce a logic of knowledge in a framework in which knowledge is treated as a kind of belief. The framework is based on a standard KD45 characterization of belief, and the characterization of knowledge undergoes the classical tripartite analysis that knowledge is justified true belief, which has a natural link to the studies of logics of evidence and justification. The interpretation of knowledge avoids the unwanted properties of logical omniscience, independent of the choice of the base logic of belief. We axiomatize the logic, prove its soundness and completeness and study the computational complexity results of the model checking and satisfiability problems. We extend the logic to a multi-agent setting and introduce a variant in which belief is characterized in a weaker system to avoid the problem of logical omniscience.<\/jats:p>","DOI":"10.1093\/logcom\/exab002","type":"journal-article","created":{"date-parts":[[2021,1,20]],"date-time":"2021-01-20T20:11:01Z","timestamp":1611173461000},"page":"2004-2027","source":"Crossref","is-referenced-by-count":0,"title":["A logic of knowledge based on abstract arguments"],"prefix":"10.1093","volume":"31","author":[{"given":"Y\u00ec N","family":"W\u00e1ng","sequence":"first","affiliation":[{"name":"Department of Philosophy (Zhuhai), Sun Yat-sen University, 2 Daxue Road, Zhuhai 519082, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Philosophy, Zhejiang University, 866 Yuhangtang Road, Hangzhou 310058, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2021,1,23]]},"reference":[{"key":"2021121717361302200_ref1","first-page":"14","article-title":"The basic logic of proofs","volume-title":"International Workshop on Computer Science Logic","author":"Artemov","year":"1992"},{"key":"2021121717361302200_ref2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","article-title":"Logic of proofs","volume":"67","author":"Artemov","year":"1994","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021121717361302200_ref3","article-title":"Operational modal logic","volume-title":"Technical Report","author":"Artemov","year":"1995"},{"key":"2021121717361302200_ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","article-title":"Explicit provability and constructive semantics","volume":"7","author":"Artemov","year":"2001","journal-title":"The Bulletin of Symbolic Logic"},{"key":"2021121717361302200_ref5","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/j.tcs.2006.03.009","article-title":"Justified common knowledge","volume":"357","author":"Artemov","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"2021121717361302200_ref6","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1093\/logcom\/exi053","article-title":"Introducing justification into epistemic logic","volume":"15","author":"Artemov","year":"2005","journal-title":"Journal of Logic and Computation"},{"key":"2021121717361302200_ref7","first-page":"279","article-title":"On epistemic logic with justification","volume-title":"Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge","author":"Artemov","year":"2005"},{"key":"2021121717361302200_ref8","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-662-54332-0_12","article-title":"The topology of full and weak belief","volume-title":"Logic, Language, and Computation","author":"Baltag","year":"2017"},{"key":"2021121717361302200_ref9","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s10992-018-9463-4","article-title":"A topological approach to full belief","volume":"48","author":"Baltag","year":"2019","journal-title":"Journal of Philosophical Logic"},{"key":"2021121717361302200_ref10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2006.05.034","article-title":"Conditional doxastic models: a qualitative approach to dynamic belief revision","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Baltag","year":"2006"},{"key":"2021121717361302200_ref11","first-page":"5","article-title":"Reflections on epistemic logic","volume":"34","author":"van Benthem","year":"1991","journal-title":"Logique et Analyse"},{"key":"2021121717361302200_ref12","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/s10992-018-9473-2","article-title":"A dynamic solution to the problem of logical omniscience","volume":"48","author":"Bjerring","year":"2019","journal-title":"Journal of Philosophical Logic"},{"key":"2021121717361302200_ref13","doi-asserted-by":"crossref","DOI":"10.1016\/S1570-2464(07)80004-8","article-title":"Modal logic: a semantic perspective","volume-title":"Handbook of Modal Logic","author":"Blackburn","year":"2007"},{"key":"2021121717361302200_ref14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","article-title":"Modal Logic","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"Blackburn","year":"2001"},{"key":"2021121717361302200_ref15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","article-title":"Dynamic interactive epistemology","volume":"49","author":"Board","year":"2004","journal-title":"Games and Economic Behavior"},{"key":"2021121717361302200_ref16","doi-asserted-by":"crossref","first-page":"1019","DOI":"10.1007\/s11225-019-09887-w","article-title":"Logics for belief as maximally plausible possibility","volume":"108","author":"Bonanno","year":"2019","journal-title":"Studia Logica"},{"key":"2021121717361302200_ref17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3166\/jancl.21.35-60","article-title":"Justifications for common knowledge","volume":"21","author":"Bucheli","year":"2011","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2021121717361302200_ref18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"2021121717361302200_ref19","doi-asserted-by":"crossref","first-page":"773","DOI":"10.2307\/2022834","article-title":"The logic of knowing","volume":"60","author":"Chisholm","year":"1963","journal-title":"The Journal of Philosophy"},{"key":"2021121717361302200_ref20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/800157.805047","article-title":"The complexity of theorem-proving procedures","volume-title":"Proceedings of the Third Annual ACM Symposium on Theory of Computing","author":"Cook","year":"1971"},{"key":"2021121717361302200_ref21","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artificial Intelligence"},{"key":"2021121717361302200_ref22","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness, and limited reasoning","volume":"34","author":"Fagin","year":"1988","journal-title":"Artificial Intelligence"},{"key":"2021121717361302200_ref23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"2021121717361302200_ref24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","article-title":"The logic of proofs, semantically","volume":"132","author":"Fitting","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021121717361302200_ref25","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0004-3702(97)00040-4","article-title":"Modeling belief in dynamic systems, part I: foundations","volume":"95","author":"Friedman","year":"1997","journal-title":"Artificial Intelligence"},{"key":"2021121717361302200_ref26","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/analys\/23.6.121","article-title":"Is justified true belief knowledge?","volume":"23","author":"Gettier","year":"1963","journal-title":"Analysis"},{"key":"2021121717361302200_ref27","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-642-31467-4_7","article-title":"Distributed knowledge with justifications","volume-title":"New Directions in Logic, Language and Computation","author":"Ghari","year":"2012"},{"key":"2021121717361302200_ref28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00224-013-9492-x","article-title":"Distributed knowledge justification logics","volume":"55","author":"Ghari","year":"2014","journal-title":"Theory of Computing Systems"},{"key":"2021121717361302200_ref29","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1017\/S1755020318000023","article-title":"Conditional beliefs: from neighbourhood semantics to sequent calculus","volume":"11","author":"Girlando","year":"2018","journal-title":"The Review of Symbolic Logic"},{"key":"2021121717361302200_ref30","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1017\/S1755020309990141","article-title":"Defining knowledge in terms of belief: the modal logic perspective","volume":"2","author":"Halpern","year":"2009","journal-title":"The Review of Symbolic Logic"},{"volume-title":"Knowledge and Belief: An Introduction to the Logic of Two Notions","year":"1962","author":"Hintikka","key":"2021121717361302200_ref31"},{"key":"2021121717361302200_ref32","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","article-title":"Impossible possible worlds vindicated","volume":"4","author":"Hintikka","year":"1975","journal-title":"Journal of Philosophical Logic"},{"key":"2021121717361302200_ref33","doi-asserted-by":"crossref","first-page":"4343","DOI":"10.1007\/s11229-017-1353-8","article-title":"Knowledge, belief, normality, and introspection","volume":"195","author":"Klein","year":"2018","journal-title":"Synthese"},{"key":"2021121717361302200_ref34","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","article-title":"Knowledge, belief and time","volume":"58","author":"Kraus","year":"1988","journal-title":"Theoretical Computer Science"},{"key":"2021121717361302200_ref35","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1016\/B978-1-4832-1452-8.50134-2","article-title":"Knowledge, certainty, belief, and conditionalisation (abbreviated version)","volume-title":"Principles of Knowledge Representation and Reasoning","author":"Lamarre","year":"1994"},{"key":"2021121717361302200_ref36","doi-asserted-by":"crossref","first-page":"225","DOI":"10.2307\/2024435","article-title":"Knowledge: undefeated justified true belief","volume":"66","author":"Lehrer","year":"1969","journal-title":"The Journal of Philosophy"},{"volume-title":"Recent Work in Epistemic Logic, Acta Philosophica Fennica","year":"1978","author":"Lenzen","key":"2021121717361302200_ref37"},{"key":"2021121717361302200_ref38","first-page":"115","article-title":"Universal problems of full search","volume":"9","author":"Levin","year":"1973","journal-title":"Problemy Peredachi Informatsii"},{"key":"2021121717361302200_ref39","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/978-3-030-44638-3_8","article-title":"A logic of knowledge and belief based on abstract arguments","volume-title":"Logic and Argumentation","author":"Li","year":"2020"},{"key":"2021121717361302200_ref40","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","article-title":"Epistemic Logic for AI and Computer Science","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"Meyer","year":"1995"},{"key":"2021121717361302200_ref41","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-63045-7_27","article-title":"Models for the logic of proofs","volume-title":"Logical Foundations of Computer Science","author":"Mkrtychev","year":"1997"},{"key":"2021121717361302200_ref42","first-page":"102","article-title":"Pragmatics","volume-title":"Contemporary Philosophy: A Survey","author":"Montague","year":"1968"},{"key":"2021121717361302200_ref43","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","article-title":"Universal grammar","volume":"36","author":"Montague","year":"1970","journal-title":"Theoria"},{"key":"2021121717361302200_ref44","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0004-3702(93)90107-M","article-title":"Belief as defeasible knowledge","volume":"64","author":"Moses","year":"1993","journal-title":"Artificial Intelligence"},{"key":"2021121717361302200_ref45","first-page":"154","article-title":"Beliefs: a theoretically unnecessary construct?","volume-title":"Proceedings of the Sixth Congress of the European Society for Research in Mathematics Education","author":"\u00d6sterholm","year":"2010"},{"volume-title":"Logic for Social Software","year":"2001","author":"Pauly","key":"2021121717361302200_ref46"},{"key":"2021121717361302200_ref47","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-94-010-3272-8_7","article-title":"Advice on modal logic","volume-title":"Philosophical Problems in Logic: Some Recent Developments","author":"Scott","year":"1970"},{"key":"2021121717361302200_ref48","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF00413506","article-title":"The problem of logical omniscience, I","volume":"89","author":"Stalnaker","year":"1991","journal-title":"Synthese"},{"key":"2021121717361302200_ref49","doi-asserted-by":"crossref","DOI":"10.1093\/0198237073.003.0015","article-title":"The problem of logical omniscience, II","author":"Stalnaker","year":"1999"},{"key":"2021121717361302200_ref50","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","article-title":"On logics of knowledge and belief","volume":"128","author":"Stalnaker","year":"2006","journal-title":"Philosophical Studies"},{"key":"2021121717361302200_ref51","first-page":"15","article-title":"Epistemic defeasibility","volume":"11","author":"Swain","year":"1974","journal-title":"American Philosophical Quarterly"},{"key":"2021121717361302200_ref52","first-page":"97","article-title":"Evidence logic: a new look at neighborhood structures","volume":"9","author":"Van Benthem","year":"2012","journal-title":"Advances in Modal Logic"},{"key":"2021121717361302200_ref53","first-page":"243","article-title":"On the complexity of epistemic reasoning","author":"Vardi","year":"1989"},{"key":"2021121717361302200_ref54","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/B978-0-934613-04-0.50024-7","article-title":"On epistemic logic and logical omniscience","volume-title":"Theoretical Aspects of Reasoning About Knowledge","author":"Vardi","year":"1986"},{"key":"2021121717361302200_ref55","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/BFb0018462","article-title":"The logic of objective knowledge and rational belief","volume-title":"Logics in AI","author":"Voorbraak","year":"1991"},{"volume-title":"As Far as I Know: Epistemic Logic and Uncertainty","year":"1993","author":"Voorbraak","key":"2021121717361302200_ref56"},{"key":"2021121717361302200_ref57","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1093\/mind\/106.424.717","article-title":"Knowledge as evidence","volume":"106","author":"Williamson","year":"1997","journal-title":"Mind"},{"volume-title":"Knowledge and Its Limits","year":"2000","author":"Williamson","key":"2021121717361302200_ref58"},{"key":"2021121717361302200_ref59","first-page":"1","article-title":"Probability and danger","volume-title":"The Amherst Lecture in Philosophy 4","author":"Williamson","year":"2009"},{"key":"2021121717361302200_ref60","article-title":"An essay in modal logic","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"von Wright","year":"1951"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/31\/8\/2004\/41808840\/exab002.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/31\/8\/2004\/41808840\/exab002.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T18:46:26Z","timestamp":1724352386000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/8\/2004\/6110426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,23]]},"references-count":60,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2021,1,23]]},"published-print":{"date-parts":[[2021,12,22]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab002","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2021,12]]},"published":{"date-parts":[[2021,1,23]]}}}