乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T10:02:44Z","timestamp":1713952964847},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,2,24]],"date-time":"2016-02-24T00:00:00Z","timestamp":1456272000000},"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":["Stud Logica"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s11225-016-9657-0","type":"journal-article","created":{"date-parts":[[2016,2,24]],"date-time":"2016-02-24T09:03:19Z","timestamp":1456304599000},"page":"597-640","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["The Undecidability of Quantified Announcements"],"prefix":"10.1007","volume":"104","author":[{"given":"T.","family":"\u00c5gotnes","sequence":"first","affiliation":[]},{"given":"H.","family":"van Ditmarsch","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-0748-8040","authenticated-orcid":false,"given":"T.","family":"French","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,24]]},"reference":[{"issue":"2","key":"9657_CR1","first-page":"377","volume":"149","author":"T. \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes T.: Action and knowledge in alternating-time temporal logic. Synthese (Special Section on Knowledge, Rationality and Action) 149(2), 377\u2013409 (2006)","journal-title":"Synthese (Special Section on Knowledge, Rationality and Action)"},{"key":"9657_CR2","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/j.jal.2008.12.002","volume":"8","author":"T. \u00c5gotnes","year":"2010","unstructured":"\u00c5gotnes T., Balbiani P., van Ditmarsch H., Seban P.: Group announcement logic. Journal of Applied Logic 8, 62\u201381 (2010)","journal-title":"Journal of Applied Logic"},{"key":"9657_CR3","unstructured":"\u00c5gotnes, T., and H. van Ditmarsch, Coalitions and announcements, in Proceedings of the of 7th AAMAS, IFAAMAS, Columbia, 2008, pp. 673\u2013680."},{"key":"9657_CR4","unstructured":"\u00c5gotnes, T., H. van Ditmarsch, and T. French, The undecidability of group announcements, in Proceedings of the of the 13th AAMAS, 2014, pp. 893\u2013900."},{"key":"9657_CR5","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur R., Henzinger T. A., Kupferman O.: Alternating-time temporal logic. Journal of the ACM 49, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"issue":"3","key":"9657_CR6","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P. Balbiani","year":"2008","unstructured":"Balbiani P., Baltag A., van Ditmarsch H., Herzig A., Hoshi T., Lima T. D.: \u2018Knowable\u2019 as \u2018known after an announcement\u2019. Review of Symbolic Logic 1(3), 305\u2013334 (2008)","journal-title":"Review of Symbolic Logic"},{"key":"9657_CR7","unstructured":"Baltag, A., L. Moss, and S. Solecki, The logic of public announcements, common knowledge, and private suspicions, in Proceedings of the 7th TARK, Morgan Kaufmann, Burlington, 1998, pp. 43\u201356."},{"key":"9657_CR8","unstructured":"Belardinelli, F., and W. van der Hoek, Epistemic quantified boolean logic: Expressiveness and completeness results, in Q. Yang and M. Wooldridge (eds.), Proceedings of 24th IJCAI, AAAI Press, New York, 2015, pp. 2748\u20132754."},{"key":"9657_CR9","doi-asserted-by":"crossref","unstructured":"Berger, R., The Undecidability of the Domino Problem, Number 66 in Memoirs of the American Mathematical Society, American Mathematical Society, 1966.","DOI":"10.1090\/memo\/0066"},{"issue":"1","key":"9657_CR10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T. Bolander","year":"2011","unstructured":"Bolander T., Andersen M.: Epistemic planning for single and multi-agent systems. Journal of Applied Non-classical Logics 21(1), 9\u201334 (2011)","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9657_CR11","unstructured":"Bolander, T., M. Jensen, and F. Schwarzentruber, Complexity results in epistemic planning, in Q. Yang and M. Wooldridge (eds.), Proceedings of 24th IJCAI, AAAI Press, New York, 2015, pp. 2791\u20132797."},{"key":"9657_CR12","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/j.ic.2014.07.013","volume":"239","author":"L. Bozzelli","year":"2014","unstructured":"Bozzelli L., van Ditmarsch H., French T., Hales J., Pinchinat S.: Refinement modal logic. Information and Computation 239, 303\u2013339 (2014)","journal-title":"Information and Computation"},{"key":"9657_CR13","unstructured":"Charrier, T., and F. Schwarzentruber, Arbitrary public announcement logic with mental programs, in G. Weiss, P. Yolum, R. Bordini, and E. Elkind (eds.), Proceedings of AAMAS, ACM, New York, 2015, pp. 1471\u20131479."},{"key":"9657_CR14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/j.tcs.2013.05.010","volume":"495","author":"A. Cord\u00f3n-Franco","year":"2013","unstructured":"Cord\u00f3n-Franco A., van Ditmarsch H., Fern\u00e1ndez-Duque D., Soler-Toscano F.: A colouring protocol for the generalized russian cards problem. Theoretical Computer Science 495, 81\u201395 (2013)","journal-title":"Theoretical Computer Science"},{"key":"9657_CR15","unstructured":"Fagin, R., J. Halpern, Y. Moses, and M. Vardi, Reasoning About Knowledge, MIT Press, Cambridge, MA, 1995."},{"issue":"2","key":"9657_CR16","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. Fischer","year":"1979","unstructured":"Fischer M., Ladner R.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2), 194\u2013211 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"9657_CR17","unstructured":"French, T., and H. van Ditmarsch, Undecidability for arbitrary public announcement logic. in C. Areces and R. Goldblatt (eds.), Advances in Modal Logic 7, College Publications, London, 2008, pp. 23\u201342."},{"key":"9657_CR18","unstructured":"Gerbrandy, J., Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, 1999. ILLC Dissertation Series DS-1999-01."},{"key":"9657_CR19","doi-asserted-by":"crossref","unstructured":"Hales, J., Arbitrary action model logic and action model synthesis, in Proceedings of the 28th LICS, IEEE, 2013, pp. 253\u2013262.","DOI":"10.1109\/LICS.2013.31"},{"issue":"1","key":"9657_CR20","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/4904.4993","volume":"33","author":"D. Harel","year":"1986","unstructured":"Harel D.: Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. Journal of the ACM 33(1), 224\u2013248 (1986)","journal-title":"Journal of the ACM"},{"key":"9657_CR21","doi-asserted-by":"crossref","unstructured":"Lutz, C., Complexity and succinctness of public announcement logic, in Proceedings of the 5th AAMAS, 2006, pp. 137\u2013144.","DOI":"10.1145\/1160633.1160657"},{"issue":"3","key":"9657_CR22","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","volume":"79","author":"J. Miller","year":"2005","unstructured":"Miller J., Moss L.: The undecidability of iterated modal relativization. Studia Logica 79(3), 373\u2013407 (2005)","journal-title":"Studia Logica"},{"issue":"1","key":"9657_CR23","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149\u2013166 (2002)","journal-title":"Journal of Logic and Computation"},{"key":"9657_CR24","unstructured":"Plaza, J., Logics of public communications, in Proceedings of the 4th ISMIS, Oak Ridge National Laboratory, Oak Ridge, 1989, pp. 201\u2013216."},{"key":"9657_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Correspondence Theory","author":"J. Benthem van","year":"1984","unstructured":"van Benthem J.: Correspondence Theory. Springer, Berlin (1984)"},{"key":"9657_CR26","unstructured":"van Benthem, J., Logics for information update, in J. van Benthem (ed.), Proceedings of TARK VIII, Morgan Kaufmann, Los Altos, 2001, pp. 51\u201388."},{"key":"9657_CR27","doi-asserted-by":"crossref","unstructured":"van Benthem, J., One is a lonely number: on the logic of communication. in Logic Colloquium 2002, Lecture Notes in Logic, vol. 27. A. K. Peters, Wellesley, 2006, pp. 96\u2013129.","DOI":"10.1017\/9781316755723.006"},{"key":"9657_CR28","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Logic in Games, MIT Press, Cambridge, MA, 2014.","DOI":"10.7551\/mitpress\/9674.001.0001"},{"key":"9657_CR29","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., and M. Wooldridge, Tractable multiagent planning for epistemic goals, in Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002), ACM, New York, 2002, pp. 1167\u20131174.","DOI":"10.1145\/545056.545095"},{"key":"9657_CR30","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., Quantifying notes, in Proceedings of 19th WoLLIC, LNCS 7456, Springer, New York, 2012, pp. 89\u2013109.","DOI":"10.1007\/978-3-642-32621-9_8"},{"key":"9657_CR31","unstructured":"van Ditmarsch, H., T. French, and S. Pinchinat, Future event logic\u2014axioms and complexity. in L. Beklemishev, V. Goranko, and V. Shehtman (eds.), Advances in Modal Logic 8, College Publications, London, 2010, pp. 77\u201399."},{"key":"9657_CR32","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., W. van der Hoek, and B. Kooi, Dynamic Epistemic Logic, vol. 337 of Synthese Library, Springer, New York, 2007.","DOI":"10.1007\/978-1-4020-5839-4"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9657-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9657-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9657-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T19:09:45Z","timestamp":1567624185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9657-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,24]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["9657"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9657-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,24]]}}}