{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:50:54Z","timestamp":1759146654433},"reference-count":64,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T00:00:00Z","timestamp":1616371200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2022,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>As a new type of epistemic logics, the<jats:italic>logics of knowing how<\/jats:italic>capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five<jats:italic>knowing how<\/jats:italic>logics based on different notions of plans. As an application, we study and compare the expressive power of these logics.<\/jats:p>","DOI":"10.1017\/s1755020321000101","type":"journal-article","created":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T09:44:10Z","timestamp":1616406250000},"page":"450-486","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":5,"title":["BISIMULATIONS FOR KNOWING HOW LOGICS"],"prefix":"10.1017","volume":"15","author":[{"given":"RAUL","family":"FERVARI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FERNANDO R.","family":"VEL\u00c1ZQUEZ-QUESADA","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YANJING","family":"WANG","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2021,3,22]]},"reference":[{"key":"S1755020321000101_r10","first-page":"1286","volume-title":"Proceedings of AAMAS","author":"Belardinelli","year":"2017"},{"key":"S1755020321000101_r27","unstructured":"[27] Hansen, H. H. (2003). Monotonic modal logics. Master\u2019s Thesis, Universiteit van Amsterdam."},{"key":"S1755020321000101_r18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"S1755020321000101_r58","first-page":"413","volume-title":"Proceedings of LORI","author":"Wang","year":"2019"},{"key":"S1755020321000101_r46","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.06.007"},{"key":"S1755020321000101_r36","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.423-475"},{"key":"S1755020321000101_r24","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80008-5"},{"key":"S1755020321000101_r25","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.1.5"},{"key":"S1755020321000101_r8","first-page":"135","volume-title":"Proceedings of Advances in Modal Logic","volume":"11","author":"Baltag","year":"2016"},{"key":"S1755020321000101_r39","first-page":"126","volume-title":"Proceedings of LORI 2019","author":"Li","year":"2019"},{"key":"S1755020321000101_r1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv085"},{"key":"S1755020321000101_r32","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160666"},{"key":"S1755020321000101_r54","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020316000447"},{"key":"S1755020321000101_r15","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-013-9231-3"},{"key":"S1755020321000101_r59","first-page":"392","volume-title":"Proceedings of LORI","volume":"9394","author":"Wang","year":"2015"},{"key":"S1755020321000101_r44","first-page":"390","volume-title":"Proceedings of AAMAS","author":"Naumov","year":"2018a"},{"key":"S1755020321000101_r52","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511777110"},{"key":"S1755020321000101_r9","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9723-2"},{"key":"S1755020321000101_r19","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000343"},{"key":"S1755020321000101_r5","first-page":"671","volume-title":"Proceedings of IJCAI 2009","author":"Areces","year":"2009"},{"key":"S1755020321000101_r41","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852"},{"key":"S1755020321000101_r61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-62864-6_21"},{"key":"S1755020321000101_r22","unstructured":"[22] Fervari, R. , Vel\u00e1zquez-Quesada, F. R. , & Wang, Y . (2017). Bisimulations for knowing how logics. Presented at 5th International Workshop on Strategic Reasoning. Liverpool, UK."},{"key":"S1755020321000101_r3","first-page":"543","volume-title":"Handbook of Epistemic Logic","author":"\u00c5gotnes","year":"2015"},{"key":"S1755020321000101_r57","doi-asserted-by":"crossref","unstructured":"[57] van Eijck, J. , Gattinger, M. , & Wang, Y. (2017). Knowing values and public inspection. In Proceedings of ICLA. Berlin, pp. 77\u201390.","DOI":"10.1007\/978-3-662-54069-5_7"},{"key":"S1755020321000101_r51","unstructured":"[51] Pauly, M. (1999). Bisimulation for general non-normal modal logic. Unpublished manuscript."},{"key":"S1755020321000101_r49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9"},{"key":"S1755020321000101_r64","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-019-02104-0"},{"key":"S1755020321000101_r26","first-page":"362","volume-title":"Proceedings of Advances in Modal Logic","volume":"11","author":"Gu","year":"2016"},{"key":"S1755020321000101_r17","unstructured":"[17] Duijf, H. (2018). Let\u2019s Do It!: Collective Responsibility, Joint Action, and Participation. PhD Thesis, Utrecht University, Utrecht, The Netherlands."},{"key":"S1755020321000101_r43","first-page":"441","volume-title":"Proceedings of Conference on Theoretical Aspects of Rationality and Knowledge","author":"Naumov","year":"2017b"},{"key":"S1755020321000101_r7","first-page":"48","volume-title":"Proceedings of ICLA","author":"Bakhtiari","year":"2017"},{"key":"S1755020321000101_r45","first-page":"4702","volume-title":"Proceedings of AAAI","author":"Naumov","year":"2018b"},{"key":"S1755020321000101_r53","doi-asserted-by":"publisher","DOI":"10.2307\/2678403"},{"key":"S1755020321000101_r21","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/143"},{"key":"S1755020321000101_r50","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025007018583"},{"key":"S1755020321000101_r28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73859-6_19"},{"key":"S1755020321000101_r42","first-page":"723","volume-title":"Proceedings of AAMAS","author":"Naumov","year":"2017a"},{"key":"S1755020321000101_r37","first-page":"34","article-title":"Stopping means achieving: a weaker logic of knowing how","volume":"9","author":"Li","year":"2017","journal-title":"Studies in Logic"},{"key":"S1755020321000101_r11","first-page":"425","volume-title":"Proceedings of KR","author":"Belardinelli","year":"2018"},{"key":"S1755020321000101_r35","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020317000016"},{"volume-title":"Open Problems in Epistemology","year":"2013","author":"Gochet","key":"S1755020321000101_r23"},{"key":"S1755020321000101_r30","doi-asserted-by":"publisher","DOI":"10.1006\/jeth.1996.0084"},{"key":"S1755020321000101_r29","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-5(2:2)2009"},{"volume-title":"Handbook of Epistemic Logic","year":"2015","author":"van Ditmarsch","key":"S1755020321000101_r56"},{"volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","year":"1962","author":"Hintikka","key":"S1755020321000101_r33"},{"key":"S1755020321000101_r62","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-016-1272-0"},{"key":"S1755020321000101_r63","first-page":"559","article-title":"Not all those who wander are lost: dynamic epistemic reasoning in navigation","volume":"10","author":"Wang","year":"2012","journal-title":"Advances in Modal Logic"},{"key":"S1755020321000101_r40","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exx020"},{"key":"S1755020321000101_r55","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026185103185"},{"key":"S1755020321000101_r13","first-page":"1","volume-title":"Handbook of Modal Logic","author":"Blackburn","year":"2006"},{"key":"S1755020321000101_r6","volume-title":"Justification Logic: Reasoning with Reasons","volume":"216","author":"Artemov","year":"2019"},{"volume-title":"The Stanford Encyclopedia of Philosophy","year":"2017","author":"Fantl","key":"S1755020321000101_r20"},{"key":"S1755020321000101_r16","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00361-X"},{"key":"S1755020321000101_r14","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.21.9-34"},{"key":"S1755020321000101_r34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"key":"S1755020321000101_r38","first-page":"154","volume-title":"Proceedings of ICLA","author":"Li","year":"2017"},{"key":"S1755020321000101_r31","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-014-9267-z"},{"key":"S1755020321000101_r4","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"S1755020321000101_r60","first-page":"515","volume-title":"Proceedings of Conference on Theoretical Aspects of Rationality and Knowledge","author":"Wang","year":"2017"},{"key":"S1755020321000101_r2","first-page":"15","volume-title":"Proceedings of Conference on Theoretical Aspects of Rationality and Knowledge","author":"\u00c5gotnes","year":"2007"},{"key":"S1755020321000101_r47","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2019.06.007"},{"volume-title":"Modal Logic","year":"2002","author":"Blackburn","key":"S1755020321000101_r12"},{"first-page":"1983","year":"2011","author":"Nissim","key":"S1755020321000101_r48"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020321000101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,26]],"date-time":"2024-08-26T14:29:29Z","timestamp":1724682569000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020321000101\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,22]]},"references-count":64,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["S1755020321000101"],"URL":"https:\/\/doi.org\/10.1017\/s1755020321000101","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2021,3,22]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}