{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T04:10:52Z","timestamp":1748405452709,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031896095","type":"print"},{"value":"9783031896101","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-89610-1_18","type":"book-chapter","created":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:41:46Z","timestamp":1748335306000},"page":"247-261","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Knowable as\u00a0Knowing How to\u00a0Inquire"],"prefix":"10.1007","author":[{"given":"Yiting","family":"Wang","sequence":"first","affiliation":[]},{"given":"Yanjing","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,26]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","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. J. Appl. Log. 8(1), 62\u201381 (2010). https:\/\/doi.org\/10.1016\/j.jal.2008.12.002","journal-title":"J. Appl. Log."},{"issue":"3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H.V., Herzig, A., Hoshi, T., Lima, T.D.: Knowable \u2018as\u2019 known after an announcement. Rev. Symbolic Logic 1(3), 305\u2013334 (2008). https:\/\/doi.org\/10.1017\/S1755020308080210","journal-title":"Rev. Symbolic Logic"},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.2307\/2271594","volume":"28","author":"FB Fitch","year":"1963","unstructured":"Fitch, F.B.: A logical analysis of some value concepts. J. Symbolic Logic 28(2), 135\u2013142 (1963). https:\/\/doi.org\/10.2307\/2271594","journal-title":"J. Symbolic Logic"},{"key":"18_CR4","first-page":"23","volume":"7","author":"T French","year":"2008","unstructured":"French, T., van Ditmarsch, H.: Undecidability for arbitrary public announcement logic. Adv. Modal Logic 7, 23\u201342 (2008)","journal-title":"Adv. Modal Logic"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-662-60292-8_10","volume-title":"Logic, Rationality, and Interaction","author":"Y Li","year":"2019","unstructured":"Li, Y., Wang, Y.: Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach. In: Blackburn, P., Lorini, E., Guo, M. (eds.) LORI 2019. LNCS, vol. 11813, pp. 126\u2013139. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-662-60292-8_10"},{"issue":"3","key":"18_CR6","doi-asserted-by":"publisher","first-page":"385","DOI":"10.12775\/LLP.2021.018","volume":"31","author":"M Liu","year":"2022","unstructured":"Liu, M., Fan, J., van Ditmarsch, H., Kuijer, L.B.: Logics for knowability. Logic Logical Philos. 31(3), 385\u2013426 (2022). https:\/\/doi.org\/10.12775\/LLP.2021.018","journal-title":"Logic Logical Philos."},{"issue":"2","key":"18_CR7","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). https:\/\/doi.org\/10.1007\/s11229-007-9168-7","journal-title":"Synthese"},{"issue":"2","key":"18_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1093\/analys\/64.2.95","volume":"64","author":"J van Benthem","year":"2004","unstructured":"van Benthem, J.: What one may come to know. Analysis 64(2), 95\u2013105 (2004). https:\/\/doi.org\/10.1093\/analys\/64.2.95","journal-title":"Analysis"},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1111\/j.1755-2567.2011.01119.x","volume":"78","author":"H van Ditmarsch","year":"2012","unstructured":"van Ditmarsch, H., van Der Hoek, W., Iliev, P.: Everything is knowable - how to get to know whether a proposition is true. Theoria 78(2), 93\u2013114 (2012). https:\/\/doi.org\/10.1111\/j.1755-2567.2011.01119.x","journal-title":"Theoria"},{"issue":"1","key":"18_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1080\/11663081.2016.1184931","volume":"26","author":"H van Ditmarsch","year":"2016","unstructured":"van Ditmarsch, H., Fan, J.: Propositional quantification in logics of contingency. J. Appl. Non-Class. Logics 26(1), 81\u2013102 (2016). https:\/\/doi.org\/10.1080\/11663081.2016.1184931","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"1","key":"18_CR11","doi-asserted-by":"publisher","first-page":"4147","DOI":"10.46298\/lmcs-18(1:20)2022","volume":"18","author":"H van Ditmarsch","year":"2022","unstructured":"van Ditmarsch, H., French, T.: Quantifying over Boolean announcements. Logical Methods Comput. Sci. 18(1), 4147 (2022). https:\/\/doi.org\/10.46298\/lmcs-18(1:20)2022","journal-title":"Logical Methods Comput. Sci."},{"key":"18_CR12","doi-asserted-by":"publisher","unstructured":"van Ditmarsch, H., French, T., Galimullin, R.: Satisfiability of quantified Boolean announcements (2022). https:\/\/doi.org\/10.48550\/arXiv.2206.00903","DOI":"10.48550\/arXiv.2206.00903"},{"issue":"3","key":"18_CR13","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1007\/s11225-020-09922-1","volume":"109","author":"H van Ditmarsch","year":"2020","unstructured":"van Ditmarsch, H., French, T., Hales, J.: Positive announcements. Stud. Logica. 109(3), 639\u2013681 (2020). https:\/\/doi.org\/10.1007\/s11225-020-09922-1","journal-title":"Stud. Logica."},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-662-54069-5_7","volume-title":"Logic and Its Applications","author":"J van Eijck","year":"2017","unstructured":"van Eijck, J., Gattinger, M., Wang, Y.: Knowing values and public inspection. In: Ghosh, S., Prasad, S. (eds.) ICLA 2017. LNCS, vol. 10119, pp. 77\u201390. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54069-5_7"},{"key":"18_CR15","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/978-3-319-62864-6_21","volume-title":"Jaakko Hintikka on Knowledge and Game-Theoretical Semantics","author":"Y Wang","year":"2018","unstructured":"Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. OCL, vol. 12, pp. 499\u2013533. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-62864-6_21"},{"issue":"10","key":"18_CR16","doi-asserted-by":"publisher","first-page":"4419","DOI":"10.1007\/s11229-016-1272-0","volume":"195","author":"Y Wang","year":"2016","unstructured":"Wang, Y.: A logic of goal-directed knowing how. Synthese 195(10), 4419\u20134439 (2016). https:\/\/doi.org\/10.1007\/s11229-016-1272-0","journal-title":"Synthese"},{"key":"18_CR17","unstructured":"Wang, Y., Fan, J.: Knowing that, knowing what, and public communication: public announcement logic with Kv operators. In: IJCAI, vol.\u00a013, pp. 1147\u20131154 (2013)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-89610-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:41:50Z","timestamp":1748335310000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-89610-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031896095","9783031896101"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-89610-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"26 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indian Conference on Logic and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kolkata","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 February 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 February 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icla2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/logicindia.org\/icla\/icla2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}