{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:46:21Z","timestamp":1759146381293,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319735788"},{"type":"electronic","value":"9783319735795"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-73579-5_5","type":"book-chapter","created":{"date-parts":[[2018,1,2]],"date-time":"2018-01-02T02:32:44Z","timestamp":1514860364000},"page":"64-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Dynamic Informational-Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Yuri","family":"David Santos","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,3]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/logcom\/exn060","volume":"20","author":"P Balbiani","year":"2010","unstructured":"Balbiani, P., van Ditmarsch, H., Herzig, A., de Lima, T.: Tableaux for public announcement logic. J. Logic Comput. 20(1), 55 (2010)","journal-title":"J. Logic Comput."},{"key":"5_CR2","series-title":"Episteme (A Series in the Foundational, Methodological, Philosophical, Psychological, Sociological, and Political Aspects of the Sciences, Pure and Applied)","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N Belnap","year":"1977","unstructured":"Belnap, N.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic. Episteme, vol. 2, pp. 5\u201337. Springer, Dordrecht (1977). https:\/\/doi.org\/10.1007\/978-94-010-1161-7_2"},{"issue":"11","key":"5_CR3","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."},{"key":"5_CR4","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, vol. 337. Springer, Dordrecht (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"issue":"3","key":"5_CR5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J Dunn","year":"1976","unstructured":"Dunn, J.: Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philos. Stud. 29(3), 149\u2013168 (1976)","journal-title":"Philos. Stud."},{"issue":"3\u20134","key":"5_CR6","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M Fitting","year":"1991","unstructured":"Fitting, M.: Many-valued modal logics. Fundamenta Informaticae 15(3\u20134), 235\u2013254 (1991)","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"5_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. Logic Lang. Inform. 6(2), 147\u2013169 (1997)","journal-title":"J. Logic Lang. Inform."},{"issue":"1","key":"5_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11229-015-0740-2","volume":"193","author":"P Girard","year":"2016","unstructured":"Girard, P., Tanaka, K.: Paraconsistent dynamics. Synthese 193(1), 1\u201314 (2016)","journal-title":"Synthese"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.entcs.2010.04.011","volume":"262","author":"J Hansen","year":"2010","unstructured":"Hansen, J.: Terminating tableaux for dynamic epistemic logics. Electron. Not. Theoret. Comput. Sci. 262, 141\u2013156 (2010)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"key":"5_CR10","unstructured":"Majer, O., Sedl\u00e1r, I.: Paraconsistent epistemic logic. Talk given in the LogiCIC Workshop 2016 in the University of Amsterdam (2016)"},{"issue":"2","key":"5_CR11","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1305\/ndjfl\/1093882548","volume":"20","author":"C Morgan","year":"1979","unstructured":"Morgan, C.: Local and global operators and many-valued modal logics. Notre Dame J. Formal Logic 20(2), 401\u2013411 (1979)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"1","key":"5_CR12","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1305\/ndjfl\/1093635000","volume":"30","author":"O Morikawa","year":"1988","unstructured":"Morikawa, O.: Some modal logics based on a three-valued logic. Notre Dame J. Formal Logic 30(1), 130\u2013137 (1988)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"3","key":"5_CR13","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3166\/jancl.20.279-304","volume":"20","author":"S Odintsov","year":"2010","unstructured":"Odintsov, S., Wansing, H.: Modal logics with Belnapian truth values. J. Appl. Non-Class. Logics 20(3), 279\u2013301 (2010)","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"4","key":"5_CR14","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1002\/malq.19880340411","volume":"34","author":"P Ostermann","year":"1988","unstructured":"Ostermann, P.: Many-valued modal propositional calculi. Math. Logic Q. 34(4), 343\u2013354 (1988)","journal-title":"Math. Logic Q."},{"issue":"2","key":"5_CR15","doi-asserted-by":"crossref","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_CR16","doi-asserted-by":"crossref","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. Cambridge University Press, Cambridge (2008)"},{"key":"5_CR17","unstructured":"Rivieccio, U.: Algebraic semantics for bilattice public announcement logic. In: Indrzejczak, A., Kaczmarek, J., Zawidzki, M. (eds.) Proceedings of the Trends in Logic XIII, Lodz, Poland, 2\u20135 July 2014, pp. 199\u2013215. Lodz University Press (2014)"},{"issue":"1","key":"5_CR18","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1305\/ndjfl\/1093888207","volume":"19","author":"P Schotch","year":"1978","unstructured":"Schotch, P., Jensen, J., Larsen, P., MacLellan, E.: A note on three-valued modal logic. Notre Dame J. Formal Logic 19(1), 63\u201368 (1978)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"1","key":"5_CR19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1111\/j.1755-2567.1967.tb00610.x","volume":"33","author":"K Segerberg","year":"1967","unstructured":"Segerberg, K.: Some modal logics based on a three-valued logic. Theoria 33(1), 53\u201371 (1967)","journal-title":"Theoria"},{"key":"5_CR20","unstructured":"Tamminga, A.: Belief dynamics: (Epistemo) logical investigations. Ph.D. thesis, ILLC (2001)"},{"issue":"2","key":"5_CR21","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02124804","volume":"37","author":"S Thomason","year":"1978","unstructured":"Thomason, S.: Possible worlds and many truth values. Stud. Logica 37(2), 195\u2013204 (1978)","journal-title":"Stud. Logica"}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73579-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T17:14:20Z","timestamp":1660238060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73579-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319735788","9783319735795"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73579-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}