乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T17:00:17Z","timestamp":1732035617111},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,5,27]],"date-time":"2015-05-27T00:00:00Z","timestamp":1432684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11229-015-0773-6","type":"journal-article","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T05:02:59Z","timestamp":1432616579000},"page":"813-849","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Logics of temporal-epistemic actions"],"prefix":"10.1007","volume":"193","author":[{"given":"Bryan","family":"Renne","sequence":"first","affiliation":[]},{"given":"Joshua","family":"Sack","sequence":"additional","affiliation":[]},{"given":"Audrey","family":"Yap","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,5,27]]},"reference":[{"key":"773_CR1","volume-title":"Handbook of process algebra","author":"L Aceto","year":"2001","unstructured":"Aceto, L., Fokkink, W., & Verhoef, C. (2001). Structural operational semantics. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of process algebra. Amsterdam: Elsevier."},{"issue":"3","key":"773_CR2","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., van D., H., Herzig, A., Hoshi, T., & de Lima, Tiago. (2008). Knowable\u2019 as \u2018known after an announcement. The Review of Symbolic Logic, 1(3), 305\u2013334.","journal-title":"The Review of Symbolic Logic"},{"issue":"2","key":"773_CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag, A., & Moss, L. S. (2004). Logics for epistemic programs. Synthese, 139(2), 165\u2013224.","journal-title":"Synthese"},{"key":"773_CR4","unstructured":"Baltag, A., Moss, L. S., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In I. Gilboa (Eds..), Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VII) (pp. 43\u201356), Evanston, Illinois, USA."},{"key":"773_CR5","first-page":"369","volume-title":"Handbook on the philosophy of information","author":"A Baltag","year":"2008","unstructured":"Baltag, A., van Ditmarsch, H. P., & Moss, L. S. (2008). Epistemic logic and information update. In P. Adriaans & J. van Benthem (Eds.), Handbook on the philosophy of information (pp. 369\u2013463). Amsterdam: Elsevier."},{"key":"773_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press."},{"key":"773_CR7","doi-asserted-by":"crossref","unstructured":"D\u00e9gremont, C., L\u00f6we, B., & Witzel, A. (2011). The synchronicity of dynamic epistemic logic. In K. R. Apt (Eds.), Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), (pp. 145\u2013152).","DOI":"10.1145\/2000378.2000395"},{"key":"773_CR8","volume-title":"Logics of time and computation, volume 7 of CSLI Lecture Notes. Center for the study of language and information","author":"R Goldblatt","year":"2006","unstructured":"Goldblatt, R. (2006). Logics of time and computation, volume 7 of CSLI Lecture Notes. Center for the study of language and information. Berlin: Springer."},{"key":"773_CR9","volume-title":"Johan van Benthem on logic and information dynamics, outstanding contributions to logic","author":"V Goranko","year":"2014","unstructured":"Goranko, V., & Pacuit, E. (2014). Temporal aspects of the dynamics of knowledge. In A. Baltag & S. Smets (Eds.), Johan van Benthem on logic and information dynamics, outstanding contributions to logic. Berlin: Springer."},{"key":"773_CR10","unstructured":"Hoshi, T. (2009). Epistemic dynamics and protocol information. PhD thesis, Stanford University."},{"issue":"4","key":"773_CR11","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s10849-009-9116-7","volume":"19","author":"T Hoshi","year":"2010","unstructured":"Hoshi, T. (2010). Merging DEL and ETL. Journal of Logic, Language, and Information, 19(4), 413\u2013430.","journal-title":"Journal of Logic, Language, and Information"},{"issue":"2","key":"773_CR12","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/s11229-009-9552-6","volume":"169","author":"T Hoshi","year":"2009","unstructured":"Hoshi, T., & Yap, A. (2009). Dynamic epistemic logic with branching temporal structures. Synthese, 169(2), 259\u2013281.","journal-title":"Synthese"},{"issue":"4","key":"773_CR13","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1017\/S1755020311000189","volume":"4","author":"B Kooi","year":"2011","unstructured":"Kooi, B., & Renne, B. (2011). Arrow update logic. Review of Symbolic Logic, 4(4), 536\u2013559.","journal-title":"Review of Symbolic Logic"},{"key":"773_CR14","doi-asserted-by":"crossref","unstructured":"Kooi, B., & Renne, B. (2011). Generalized arrow update logic. In K. R. Apt (Ed.), Proceedings of the 13th Conference of Theoretical Aspects of Rationality and Knowledge (TARK XIII) (pp. 205\u2013211), Groningen, The Netherlands.","DOI":"10.1145\/2000378.2000403"},{"key":"773_CR15","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R Parikh","year":"2003","unstructured":"Parikh, R., & Ramanujam, R. (2003). A knowledge based semantics of messages. Journal of Logic, Language, and Information, 12, 453\u2013467.","journal-title":"Journal of Logic, Language, and Information"},{"key":"773_CR16","first-page":"263","volume-title":"Logic, rationality, and interaction, second international workshop, LORI 2009, Chongqing, China, 8\u201311 October 2009. Proceedings, volume 5834\/2009 of Lecture Notes in Computer Science","author":"B Renne","year":"2009","unstructured":"Renne, B., Sack, J., & Yap, A. (2009). Dynamic epistemic temporal logic. In X. He, J. Horty, & E. Pacuit (Eds.), Logic, rationality, and interaction, second international workshop, LORI 2009, Chongqing, China, 8\u201311 October 2009. Proceedings, volume 5834\/2009 of Lecture Notes in Computer Science (pp. 263\u2013277). Berlin\/Heidelberg: Springer."},{"issue":"2","key":"773_CR17","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10849-007-9054-1","volume":"17","author":"J Sack","year":"2008","unstructured":"Sack, J. (2008). Temporal languages for epistemic programs. Journal of Logic, Language, and Information, 17(2), 183\u2013216.","journal-title":"Journal of Logic, Language, and Information"},{"issue":"12","key":"773_CR18","doi-asserted-by":"crossref","first-page":"1431","DOI":"10.1016\/j.apal.2010.04.011","volume":"161","author":"J Sack","year":"2010","unstructured":"Sack, J. (2010). Logic for update products and steps into the past. Annals of Pure and Applied Logic, 161(12), 1431\u20131461.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"5","key":"773_CR19","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J Benthem van","year":"2009","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2009). Merging frameworks for interaction. Journal of Philosophical Logic, 38(5), 491\u2013526.","journal-title":"Journal of Philosophical Logic"},{"key":"773_CR20","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL. In Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI) (pp. 72\u201381).","DOI":"10.1145\/1324249.1324262"},{"issue":"11","key":"773_CR21","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. (2006). Logics of communication and change. Information and Computation, 204(11), 1620\u20131662.","journal-title":"Information and Computation"},{"key":"773_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic (synthese library)","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic (synthese library). Dordrecht: Springer."},{"key":"773_CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of process algebra","author":"RJ Glabbeek van","year":"2001","unstructured":"van Glabbeek, R. J. (2001). The linear time-branching time spectrum I\u2014The semantics of concrete, sequential processes. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of process algebra (pp. 3\u201399). Amsterdam: Elsevier."},{"key":"773_CR24","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-94-007-0074-1_3","volume-title":"Dynamic formal epistemology, volume 351 of synthese library","author":"A Yap","year":"2011","unstructured":"Yap, A. (2011). Dynamic epistemic logic and temporal modality. In P. Girard, O. Roy, & M. Marion (Eds.), Dynamic formal epistemology, volume 351 of synthese library (pp. 33\u201350). New York: Springer."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0773-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0773-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0773-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T19:15:06Z","timestamp":1553627706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0773-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,27]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["773"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0773-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5,27]]}}}