{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:24Z","timestamp":1776333504976,"version":"3.51.2"},"reference-count":33,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.335.3","type":"journal-article","created":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T07:01:06Z","timestamp":1624258866000},"page":"23-37","source":"Crossref","is-referenced-by-count":7,"title":["Uncertainty-Based Semantics for Multi-Agent Knowing How Logics"],"prefix":"10.4204","volume":"335","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[{"name":"FAMAF, Universidad Nacional de C\u00f3rdoba, and CONICET, Argentina"}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[{"name":"FAMAF, Universidad Nacional de C\u00f3rdoba, and CONICET, Argentina"}]},{"given":"Andr\u00e9s R.","family":"Saravia","sequence":"additional","affiliation":[{"name":"FAMAF, Universidad Nacional de C\u00f3rdoba, and CONICET, Argentina"}]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[{"name":"ILLC, Universiteit van Amsterdam, The Netherlands"}]}],"member":"2720","published-online":{"date-parts":[[2021,6,22]]},"reference":[{"issue":"04","key":"artemov2008logic","doi-asserted-by":"publisher","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":"Baltag16","first-page":"135","article-title":"To Know is to Know the Value of a Variable","volume-title":"Advances in Modal Logic 11","author":"Baltag","year":"2016"},{"key":"Belardinelli14","doi-asserted-by":"publisher","first-page":"27","DOI":"10.4204\/EPTCS.146.4","article-title":"Reasoning about Knowledge and Strategies: Epistemic Strategy Logic","volume-title":"Proceedings of SR 2014","author":"Belardinelli","year":"2014"},{"key":"vanBenthem2011ldii","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"van Benthem","year":"2011"},{"key":"blackburn06","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/s1570-2464(07)80004-8","article-title":"Modal Logic: A Semantic Perspective","volume-title":"Handbook of Modal Logic","author":"Blackburn","year":"2006"},{"key":"mlbook","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2002"},{"key":"DELbook","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"},{"key":"EijckGW17","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-662-54069-5_7","article-title":"Knowing Values and Public Inspection","volume-title":"Logic and Its Applications - 7th Indian Conference, ICLA 2017","author":"van Eijck","year":"2017"},{"key":"RAK","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"Fagin","year":"1995"},{"key":"FWvD15","doi-asserted-by":"publisher","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":"fantl2012introduction","article-title":"Knowledge How","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Fantl","year":"2017"},{"key":"FervariHLW17","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.24963\/ijcai.2017\/143","article-title":"Strategically knowing how","volume-title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017","author":"Fervari","year":"2017"},{"issue":"1","key":"GorankoP92","doi-asserted-by":"publisher","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":"GW16","first-page":"362","article-title":"``Knowing value'' logic as a normal modal logic","volume-title":"Advances in Modal Logic 11","author":"Gu","year":"2016"},{"key":"HKT00","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel","year":"2000"},{"issue":"1","key":"Hart:1996","doi-asserted-by":"publisher","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"},{"issue":"5","key":"Herzig15","doi-asserted-by":"publisher","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":"HerzigT06","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1160633.1160666","article-title":"Knowing how to play: uniform choices in logics of agency","volume-title":"Proceedings of AAMAS 06","author":"Herzig","year":"2006"},{"key":"Hintikka:kab","volume-title":"Knowledge and Belief","author":"Hintikka","year":"1962"},{"issue":"1","key":"Hoek00","doi-asserted-by":"publisher","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":"wiebeetal:2003","doi-asserted-by":"publisher","first-page":"1148","DOI":"10.1145\/860575.860839","article-title":"Ignore at your peril \u2013 towards a logic for ignorance","volume-title":"Proceedings of AAMAS 03","author":"van der Hoek","year":"2003"},{"issue":"4","key":"JamrogaA07","doi-asserted-by":"publisher","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":"JamrogaH04","first-page":"185","article-title":"Agents that Know How to Play","volume":"63","author":"Jamroga","year":"2004","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"Les00","doi-asserted-by":"publisher","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"},{"issue":"4","key":"Li17","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":"LiWang17","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-662-54069-5_12","article-title":"Achieving While Maintaining: A Logic of Knowing How with Intermediate Constraints","volume-title":"Logic and Its Applications - 7th Indian Conference, ICLA 2017","author":"Li","year":"2017"},{"key":"Mccarthy69","first-page":"463","article-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","volume-title":"Machine Intelligence","author":"McCarthy","year":"1969"},{"key":"Moore85","article-title":"A formal theory of knowledge and action","volume-title":"Formal Theories of the Commonsense World","author":"Moore","year":"1985"},{"key":"Wang19a","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-662-60292-8_30","article-title":"A Logic of Knowing How with Skippable Plans","volume-title":"Logic, Rationality, and Interaction \u2013 7th International Workshop, LORI 2019","author":"Wang","year":"2019"},{"key":"Wang15lori","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-662-48561-3_32","article-title":"A Logic of Knowing How","volume-title":"Logic, Rationality, and Interaction \u2013 5th International Workshop, LORI 2015","author":"Wang","year":"2015"},{"key":"Wang16","doi-asserted-by":"publisher","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":"J. Hintikka on knowledge and game theoretical semantics","author":"Wang","year":"2018"},{"issue":"10","key":"Wang2016","doi-asserted-by":"publisher","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":"XuW16","doi-asserted-by":"publisher","first-page":"1259","DOI":"10.1007\/s11229-019-02104-0","article-title":"A Logic of Knowing Why","volume":"198","author":"Xu","year":"2021","journal-title":"Synthese"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,6,25]],"date-time":"2021-06-25T09:18:07Z","timestamp":1624612687000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2106.11492v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,22]]},"references-count":33,"URL":"https:\/\/doi.org\/10.4204\/eptcs.335.3","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,22]]}}}