{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:46:33Z","timestamp":1726055193729},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662602911"},{"type":"electronic","value":"9783662602928"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-662-60292-8_5","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T19:09:52Z","timestamp":1570561792000},"page":"57-70","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Consolidation of Belief in Two Logics of Evidence"],"prefix":"10.1007","author":[{"given":"Yuri David","family":"Santos","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1093\/logcom\/exl019","volume":"17","author":"T \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., Alechina, N.: The dynamics of syntactic knowledge. J. Logic Comput. 17(1), 83\u2013116 (2007)","journal-title":"J. Logic Comput."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Alechina, N., Logan, B.: Ascribing beliefs to resource bounded agents. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), pp. 881\u2013888. ACM (2002)","DOI":"10.1145\/544862.544948"},{"key":"5_CR3","unstructured":"Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 606\u2013613. IEEE Computer Society (2004)"},{"issue":"1\u20133","key":"5_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","volume":"67","author":"S Artemov","year":"1994","unstructured":"Artemov, S.: Logic of proofs. Ann. Pure Appl. Logic 67(1\u20133), 29\u201359 (1994)","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR5","unstructured":"Artemov, S.: Operational modal logic. Technical report, MSI 95\u201329, Cornell University, December 1995"},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S Artemov","year":"2001","unstructured":"Artemov, S.: Explicit provability and constructive semantics. Bull. Symbolic Logic 7(1), 1\u201336 (2001)","journal-title":"Bull. Symbolic Logic"},{"key":"5_CR7","unstructured":"Balbiani, P., Fern\u00e1ndez-Duque, D., Lorini, E.: A logical theory of belief dynamics for resource-bounded agents. In: Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), pp. 644\u2013652 (2016)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-662-52921-8_6","volume-title":"Logic, Language, Information, and Computation","author":"A Baltag","year":"2016","unstructured":"Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., Smets, S.: Justified belief and the topology of evidence. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 83\u2013103. Springer, Heidelberg (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-662-52921-8_6"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2006.05.034","volume":"165","author":"A Baltag","year":"2006","unstructured":"Baltag, A., Smets, S.: Conditional doxastic models: a qualitative approach to dynamic belief revision. Electron. Notes Theor. Comput. Sci. 165, 5\u201321 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Classical Logics 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"5_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information Flow","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information Flow. Cambridge University Press, Cambridge (2011)"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.apal.2013.07.007","volume":"165","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J., Fern\u00e1ndez-Duque, D., Pacuit, E.: Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Logic 165(1), 106\u2013133 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based belief. Technical report, University of Amsterdam, ILLC (2011)","DOI":"10.1007\/s11225-011-9347-x"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Stud. Logica 99(1), 61\u201392 (2011)","journal-title":"Stud. Logica"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"3789","DOI":"10.1007\/s11229-017-1621-7","volume":"196","author":"W Carnielli","year":"2017","unstructured":"Carnielli, W., Rodrigues, A.: An epistemic approach to paraconsistency: a logic of evidence and truth. Synthese 196, 3789\u20133813 (2017)","journal-title":"Synthese"},{"key":"5_CR16","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Dordrecht (2007). \n                    https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M.: Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philos. Stud. 29(3), 149\u2013168 (1976)","journal-title":"Philos. Stud."},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1987","unstructured":"Fagin, R., Halpern, J.: Belief, awareness, and limited reasoning. Artif. Intell. 34(1), 39\u201376 (1987)","journal-title":"Artif. Intell."},{"issue":"1","key":"5_CR19","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":"6","key":"5_CR20","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1007\/s11225-017-9714-3","volume":"105","author":"M Fitting","year":"2017","unstructured":"Fitting, M.: Paraconsistent logic, evidence and justification. Stud. Logica 105(6), 1149\u20131166 (2017)","journal-title":"Stud. Logica"},{"key":"5_CR21","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam (1999)"},{"key":"5_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"JJ Meyer","year":"1995","unstructured":"Meyer, J.J., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)"},{"key":"5_CR23","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). \n                    https:\/\/doi.org\/10.1007\/3-540-63045-7_27"},{"key":"5_CR24","unstructured":"\u00d6zg\u00fcn, A.: Evidence in epistemic logic: a topological perspective. Ph.D. thesis, University of Amsterdam (2017)"},{"key":"5_CR25","unstructured":"Plaza, J.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS 1989): Poster Session Program, pp. 201\u2013216. Oak Ridge National Laboratory ORNL\/DSRD-24, Charlotte (1989)"},{"issue":"2","key":"5_CR26","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158(2), 165\u2013179 (2007)","journal-title":"Synthese"},{"key":"5_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Non-classical Logic: From If to Is","author":"G Priest","year":"2008","unstructured":"Priest, G.: An Introduction to Non-classical Logic: From If to Is, 2nd edn. Cambridge University Press, Cambridge (2008)","edition":"2"},{"key":"5_CR28","series-title":"Trends in Logic","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-1-4020-9084-4_14","volume-title":"Towards Mathematical Philosophy","author":"H Rott","year":"2009","unstructured":"Rott, H.: Shifting priorities: simple representations for\u00a0twenty-seven iterated theory change operators. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy. TL, vol. 28, pp. 269\u2013296. Springer, Dordrecht (2009). \n                    https:\/\/doi.org\/10.1007\/978-1-4020-9084-4_14"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-319-73579-5_5","volume-title":"Dynamic Logic. New Trends and Applications","author":"Y David Santos","year":"2018","unstructured":"David Santos, Y.: A dynamic informational-epistemic logic. In: Madeira, A., Benevides, M. (eds.) DALI 2017. LNCS, vol. 10669, pp. 64\u201381. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-73579-5_5"},{"key":"5_CR30","unstructured":"Van Benthem, J., Fern\u00e1ndez-Duque, D., Pacuit, E.: Evidence logic: a new look at neighborhood structures. In: Bolander, T., Bra\u00e4uner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 97\u2013118. College Publications (2012)"},{"issue":"2","key":"5_CR31","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s11229-009-9556-2","volume":"169","author":"FR Vel\u00e1zquez-Quesada","year":"2009","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Inference and update. Synthese 169(2), 283\u2013300 (2009)","journal-title":"Synthese"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-60292-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T19:10:47Z","timestamp":1570561847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60292-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662602911","9783662602928"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60292-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LORI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Rationality and Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","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":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/golori.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}