{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:59:39Z","timestamp":1740099579892,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_28","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T19:09:52Z","timestamp":1570561792000},"page":"385-398","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Epistemic Logic with Partial Dependency Operator"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4811-693X","authenticated-orcid":false,"given":"Xinyu","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)"},{"key":"28_CR2","unstructured":"Ding, Y.: Axiomatization and complexity of modal logic with knowing-what operator on model class k (2016). http:\/\/arxiv.org\/abs\/1609.07684"},{"issue":"4","key":"28_CR3","first-page":"55","volume":"9","author":"Y Ding","year":"2016","unstructured":"Ding, Y.: Epistemic logic with functional dependency operator. Stud. Log. 9(4), 55\u201384 (2016)","journal-title":"Stud. Log."},{"key":"28_CR4","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 Eijck van","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"},{"issue":"1","key":"28_CR5","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","volume":"163","author":"P Galliani","year":"2012","unstructured":"Galliani, P.: Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information. Ann. Pure Appl. Log. 163(1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"28_CR6","unstructured":"Galliani, P.: Dependence logic. In: Stanford Encyclopedia of Philosophy (2017). https:\/\/plato.stanford.edu\/entries\/logic-dependence\/"},{"key":"28_CR7","unstructured":"Galliani, P., Hella, L.: Inclusion logic and fixed point logic. In: Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, vol. 23, pp. 281\u2013295 (2013)"},{"key":"28_CR8","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-06025-5_4","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"P Galliani","year":"2014","unstructured":"Galliani, P., V\u00e4\u00e4n\u00e4nen, J.: On dependence logic. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 101\u2013119. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06025-5_4"},{"issue":"2","key":"28_CR9","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E., V\u00e4\u00e4n\u00e4nen, J.: Dependence and independence. Stud. Logica 101(2), 399\u2013410 (2013)","journal-title":"Stud. Logica"},{"key":"28_CR10","unstructured":"Gu, T., Wang, Y.: \u201cKnowing value\u201d logic as a normal modal logic. In: Proceedings of Advances in Modal Logic 2016, vol. 11, pp. 362\u2013381. College Publications (2016)"},{"key":"28_CR11","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10809.001.0001","volume-title":"Actual Causality","author":"JY Halpern","year":"2016","unstructured":"Halpern, J.Y.: Actual Causality. The MIT Press, Cambridge (2016)"},{"issue":"4","key":"28_CR12","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: Compositional semantics for a language of imperfect information. Log. J. IGPL 5(4), 539\u2013563 (1997)","journal-title":"Log. J. IGPL"},{"key":"28_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic: A New Approach to Independency Friendly Logic","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic: A New Approach to Independency Friendly Logic. Cambridge University Press, Cambridge (2007)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Wang, X., Wang, Y.: Knowledge-now and knowledge-all. In: Blackburn, P., Lorini, E., Guo, M. (eds.) LORI 2019. LNCS, vol. 11813, pp. 399\u2013412. Springer, Heidelberg (2019)","DOI":"10.1007\/978-3-662-60292-8_29"},{"key":"28_CR15","unstructured":"Wang, Y., Fan, J.: Knowing that, knowing what, and public communication: public announcement logic with Kv operators. In: Proceedings of International Joint Conference on Artificial Intelligence 2013, pp. 1147\u20131154. AAAI Press (2013)"},{"key":"28_CR16","unstructured":"Wang, Y., Fan, J.: Conditionally knowing what. In: Proceedings of Advances in Modal Logic 2014, vol. 10, pp. 569\u2013587. College Publications (2014)"}],"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_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,8]],"date-time":"2019-12-08T19:32:30Z","timestamp":1575833550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60292-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662602911","9783662602928"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60292-8_28","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"}}]}}