{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T06:37:05Z","timestamp":1773383825291,"version":"3.50.1"},"reference-count":61,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T00:00:00Z","timestamp":1696809600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,1,17]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We introduce a novel semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the standard presentation of knowing that modalities in classical epistemic logic. We study the relationship between this new semantics and previous approaches, showing that our setting is general enough to capture them. We also study the logical properties of the new semantics. First, we define a sound and complete axiomatization. Second, we define a suitable notion of bisimulation and prove correspondence theorems. Finally, we investigate the computational complexity of the model checking and satisfiability problems for the new logic.<\/jats:p>","DOI":"10.1093\/logcom\/exad056","type":"journal-article","created":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T11:42:21Z","timestamp":1696938141000},"page":"1-35","source":"Crossref","is-referenced-by-count":2,"title":["Uncertainty-based knowing how logic"],"prefix":"10.1093","volume":"35","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[{"name":"FAMAF , Universidad Nacional de C\u00f3rdoba, Argentina, Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), X5000 HUA C\u00f3rdoba,","place":["Argentina"]}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[{"name":"FAMAF , Universidad Nacional de C\u00f3rdoba, Argentina, Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), X5000 HUA C\u00f3rdoba, Argentina, Guangdong Technion\u2013Israel Institute of Technology (GTIIT), 515063 Shantou,","place":["China"]}]},{"given":"Andr\u00e9s R","family":"Saravia","sequence":"additional","affiliation":[{"name":"FAMAF , Universidad Nacional de C\u00f3rdoba, X5000 HUA C\u00f3rdoba, Argentina, Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), X5000 HUA C\u00f3rdoba, Argentina"}]},{"given":"Fernando R","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[{"name":"Department of Information Science and Media Studies , Universitetet i Bergen, 5007 Bergen,","place":["Norway"]}]}],"member":"286","published-online":{"date-parts":[[2023,10,9]]},"reference":[{"key":"2025011715020550400_ref1","first-page":"2","article-title":"Somebody knows","volume-title":"Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online Event, November 3-12, 2021","author":"\u00c5gotnes","year":"2021"},{"key":"2025011715020550400_ref2","first-page":"364","article-title":"A deontic logic of knowingly complying","volume-title":"Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023\u20132 June 2023","author":"Areces","year":"2023"},{"key":"2025011715020550400_ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-43619-2_28","article-title":"How easy it is to know how: an upper bound for the satisfiability problem","volume-title":"Logics in Artificial Intelligence\u201418th European Conference, JELIA 2023, Dresden, Germany, September 20\u201322, 2023, Proceedings","author":"Areces","year":"2023"},{"key":"2025011715020550400_ref4","first-page":"23","article-title":"Uncertainty-based semantics for multi-agent knowing how logics","volume-title":"Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25\u201327, 2021","author":"Areces","year":"2021"},{"key":"2025011715020550400_ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-031-26622-5_1","article-title":"First steps in updating knowing how","volume-title":"Dynamic Logic. New Trends and Applications","author":"Areces","year":"2023"},{"key":"2025011715020550400_ref6","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1017\/S1755020308090060","article-title":"The logic of justification","volume":"1","author":"Artemov","year":"2008","journal-title":"The Review of Symbolic Logic"},{"key":"2025011715020550400_ref7","first-page":"135","article-title":"To know is to know the value of a variable","volume-title":"Advances in Modal Logic","author":"Baltag","year":"2016"},{"key":"2025011715020550400_ref8","first-page":"43","article-title":"The logic of public announcements, common knowledge, and private suspicions","volume-title":"Proceedings of TARK \u201998","author":"Baltag","year":"1998"},{"key":"2025011715020550400_ref9","first-page":"27","article-title":"Reasoning about knowledge and strategies: Epistemic strategy logic","volume-title":"Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5\u20136, 2014","author":"Belardinelli","year":"2014"},{"key":"2025011715020550400_ref10","volume-title":"Modal Logic","author":"Blackburn","year":"2002"},{"key":"2025011715020550400_ref11","first-page":"1","article-title":"Modal logic: a semantic perspective","volume-title":"Handbook of Modal Logic","author":"Blackburn","year":"2006"},{"key":"2025011715020550400_ref12","first-page":"6305","article-title":"Model-checking for ability-based logics with constrained plans","volume-title":"37th AAAI Conference on Artificial Intelligence (AAAI 2023)","author":"Demri","year":"2023"},{"key":"2025011715020550400_ref13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness, and limited reasoning","volume":"34","author":"Fagin","year":"1988","journal-title":"Artificial Intelligence"},{"key":"2025011715020550400_ref14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"2025011715020550400_ref15","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1017\/S1755020314000343","article-title":"Contingency and knowing whether","volume":"8","author":"Fan","year":"2015","journal-title":"The Review of Symbolic Logic"},{"key":"2025011715020550400_ref16","article-title":"Knowledge how","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Fantl","year":"2021"},{"key":"2025011715020550400_ref17","first-page":"1031","article-title":"Strategically knowing how","volume-title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19\u201325, 2017","author":"Fervari","year":"2017"},{"key":"2025011715020550400_ref18","article-title":"Bisimulations for knowing how logics","volume-title":"5th International Workshop on Strategic Reasoning (SR 2017)","author":"Fervari","year":"2017"},{"key":"2025011715020550400_ref19","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1017\/S1755020321000101","article-title":"Bisimulations for knowing how logics","volume":"15","author":"Fervari","year":"2022","journal-title":"The Review of Symbolic Logic"},{"key":"2025011715020550400_ref20","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"2025011715020550400_ref21","first-page":"362","article-title":"\u201cKnowing value\u201d logic as a normal modal logic","volume-title":"Advances in Modal Logic 11, Proceedings of the 11th Conference on \u201cAdvances in Modal Logic,\u201d Held in Budapest, Hungary, August 30\u2013September 2, 2016","author":"Tao","year":"2016"},{"key":"2025011715020550400_ref22","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/j.artint.2010.04.009","article-title":"Dealing with logical omniscience: expressiveness and pragmatics","volume":"175","author":"Halpern","year":"2011","journal-title":"Artificial Intelligence"},{"key":"2025011715020550400_ref23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel","year":"2000"},{"key":"2025011715020550400_ref24","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1006\/jeth.1996.0084","article-title":"Knowing whether, knowing that, and the cardinality of state spaces","volume":"70","author":"Hart","year":"1996","journal-title":"Journal of Economic Theory"},{"key":"2025011715020550400_ref25","first-page":"19","article-title":"Success and knowledge-how","volume":"40","author":"Hawley","year":"2003","journal-title":"American Philosophical Quarterly"},{"key":"2025011715020550400_ref26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11098-005-4068-5","article-title":"Introduction: 8 bridges between mainstream and formal epistemology","volume":"128","author":"Hendricks","year":"2006","journal-title":"Philosophical Studies"},{"key":"2025011715020550400_ref27","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1007\/s10458-014-9267-z","article-title":"Logics of knowledge and action: critical analysis and challenges","volume":"29","author":"Herzig","year":"2015","journal-title":"Autonomous Agents and Multi Agent Systems"},{"key":"2025011715020550400_ref28","first-page":"209","article-title":"Knowing how to play: uniform choices in logics of agency","volume-title":"5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8\u201312, 2006","author":"Herzig","year":"2006"},{"key":"2025011715020550400_ref29","volume-title":"Knowledge and Belief","author":"Hintikka","year":"1962"},{"key":"2025011715020550400_ref30","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3166\/jancl.17.423-475","article-title":"Constructive knowledge: what agents can achieve under imperfect information","volume":"17","author":"Jamroga","year":"2007","journal-title":"Journal of Applied Non Classical Logics"},{"key":"2025011715020550400_ref31","first-page":"185","article-title":"Agents that know how to play","volume":"63","author":"Jamroga","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"2025011715020550400_ref32","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1026761331498","article-title":"Ability and knowing how in the situation calculus","volume":"66","author":"Lesp\u00e9rance","year":"2000","journal-title":"Studia Logica"},{"key":"2025011715020550400_ref33","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":"2025011715020550400_ref34","first-page":"266","article-title":"Tableau-based decision procedure for logic of knowing-how via simple plans","volume-title":"Logic and Argumentation\u20144th International Conference, CLAR 2021, Hangzhou, China, October 20\u201322, 2021, Proceedings","author":"Li","year":"2021"},{"key":"2025011715020550400_ref35","first-page":"379","article-title":"Tableaux for the logic of strategically knowing how","volume-title":"19th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023)","author":"Li","year":"2023"},{"key":"2025011715020550400_ref36","first-page":"154","article-title":"Achieving while maintaining: a logic of knowing how with intermediate constraints","volume-title":"Logic and its Applications\u20147th Indian Conference, ICLA 2017, Kanpur, India, January 5\u20137, 2017, Proceedings","author":"Li","year":"2017"},{"key":"2025011715020550400_ref37","first-page":"126","article-title":"Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach","volume-title":"Logic, Rationality, and Interaction\u20147th International Workshop, LORI 2019, Chongqing, China, October 18\u201321, 2019, Proceedings","author":"Li","year":"2019"},{"key":"2025011715020550400_ref38","first-page":"233","article-title":"Knowing how to plan","volume-title":"Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25\u201327, 2021","author":"Li","year":"2021"},{"key":"2025011715020550400_ref39","doi-asserted-by":"crossref","first-page":"8611","DOI":"10.1007\/s11229-021-03177-6","article-title":"Neighborhood semantics for logic of knowing how","volume":"199","author":"Li","year":"2021","journal-title":"Synthese"},{"key":"2025011715020550400_ref40","doi-asserted-by":"crossref","first-page":"103487","DOI":"10.1016\/j.artint.2021.103487","article-title":"Planning-based knowing how: a unified approach","volume":"296","author":"Li","year":"2021","journal-title":"Artificial Intelligence"},{"key":"2025011715020550400_ref41","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume-title":"Machine Intelligence","author":"McCarthy","year":"1969"},{"key":"2025011715020550400_ref42","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","year":"1995"},{"key":"2025011715020550400_ref43","article-title":"A formal theory of knowledge and action","volume-title":"Formal Theories of the Commonsense World","author":"Moore","year":"1985"},{"key":"2025011715020550400_ref44","first-page":"441","article-title":"Together we know how to achieve: an epistemic logic of know-how (extended abstract)","volume-title":"Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24\u201326 July 2017","author":"Naumov","year":"2017"},{"key":"2025011715020550400_ref45","first-page":"390","article-title":"Second-order know-how strategies","volume-title":"Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10\u201315, 2018","author":"Naumov","year":"2018"},{"key":"2025011715020550400_ref46","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/j.artint.2018.06.007","article-title":"Together we know how to achieve: an epistemic logic of know-how","volume":"262","author":"Naumov","year":"2018","journal-title":"Artificial Intelligence"},{"key":"2025011715020550400_ref47","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.artint.2019.06.007","article-title":"Knowing-how under uncertainty","volume":"276","author":"Naumov","year":"2019","journal-title":"Artificial Intelligence"},{"key":"2025011715020550400_ref48","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511844072","volume-title":"Epistemic Game Theory: Reasoning and Choice","author":"Perea","year":"2012"},{"key":"2025011715020550400_ref49","volume-title":"The Concept of Mind","author":"Ryle","year":"1949"},{"key":"2025011715020550400_ref50","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF00413506","article-title":"The problem of logical omniscience, I","volume":"89","author":"Stalnaker","year":"1991","journal-title":"Synthese"},{"key":"2025011715020550400_ref51","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"van Benthem","year":"2011"},{"key":"2025011715020550400_ref52","first-page":"1148","article-title":"Ignore at your peril\u2014towards a logic for ignorance","volume-title":"The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14\u201318, 2003, Melbourne, Victoria, Australia, Proceedings","author":"van der Hoek","year":"2003"},{"key":"2025011715020550400_ref53","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1026796912842","article-title":"On agents that have the ability to choose","volume":"66","author":"van der Hoek","year":"2000","journal-title":"Studia Logica"},{"key":"2025011715020550400_ref54","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"},{"key":"2025011715020550400_ref55","first-page":"77","article-title":"Knowing values and public inspection","volume-title":"Logic and Its Applications\u20147th Indian Conference, ICLA 2017, Kanpur, India, January 5\u20137, 2017, Proceedings","author":"van Eijck","year":"2017"},{"key":"2025011715020550400_ref56","first-page":"293","article-title":"On epistemic logic and logical omniscience","volume-title":"TARK","author":"Vardi","year":"1986"},{"key":"2025011715020550400_ref57","first-page":"413","article-title":"A logic of knowing how with skippable plans","volume-title":"Logic, Rationality, and Interaction\u20147th International Workshop, LORI 2019, Chongqing, China, October 18\u201321, 2019, Proceedings","author":"Wang","year":"2019"},{"key":"2025011715020550400_ref58","first-page":"392","article-title":"A logic of knowing how","volume-title":"Logic, Rationality, and Interaction\u20145th International Workshop, LORI 2015 Taipei, Taiwan, October 28\u201331, 2015, Proceedings","author":"Wang","year":"2015"},{"key":"2025011715020550400_ref59","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/978-3-319-62864-6_21","article-title":"Beyond knowing that: a new generation of epistemic logics","volume-title":"Jaakko Hintikka on Knowledge and Game Theoretical Semantics","author":"Wang","year":"2018"},{"key":"2025011715020550400_ref60","doi-asserted-by":"crossref","first-page":"4419","DOI":"10.1007\/s11229-016-1272-0","article-title":"A logic of goal-directed knowing how","volume":"195","author":"Wang","year":"2018","journal-title":"Synthese"},{"key":"2025011715020550400_ref61","doi-asserted-by":"crossref","first-page":"1259","DOI":"10.1007\/s11229-019-02104-0","article-title":"A logic of knowing why","volume":"198","author":"Chao","year":"2021","journal-title":"Synthese"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/35\/1\/1\/51968909\/exad056.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/35\/1\/1\/51968909\/exad056.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T15:02:33Z","timestamp":1737126153000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/35\/1\/1\/7288538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,9]]},"references-count":61,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,1,17]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exad056","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2025,1]]},"published":{"date-parts":[[2023,10,9]]}}}