{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T18:19:00Z","timestamp":1709835540625},"reference-count":43,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.251.38","type":"journal-article","created":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T19:32:44Z","timestamp":1501011164000},"page":"515-534","source":"Crossref","is-referenced-by-count":11,"title":["A New Modal Framework for Epistemic Logic"],"prefix":"10.4204","volume":"251","author":[{"given":"Yanjing","family":"Wang","sequence":"first","affiliation":[{"name":"Peking University"}]}],"member":"2720","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"issue":"3","key":"GF98","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","article-title":"Modal Languages and Bounded Fragments of Predicate Logic","volume":"27","author":"Andr\u00e9ka","year":"1998","journal-title":"Journal of Philosophical Logic"},{"key":"Baltag16","first-page":"135","article-title":"To Know is to Know the Value of a Variable","volume-title":"Proceedings of AiML Vol. 11","author":"Baltag","year":"2016"},{"key":"BelardinelliL11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.3233\/FI-2011-382","article-title":"First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment","volume":"106","author":"Belardinelli","year":"2011","journal-title":"Fundamenta Informaticae"},{"key":"vB10","article-title":"Frame correspondences in modal predicate logic","volume-title":"Proofs, categories and computations: essays in honor of Grigori Mints","author":"van Benthem","year":"2010"},{"key":"mlbook","doi-asserted-by":"publisher","volume-title":"Modal Logic","author":"Blackburn","year":"2002","DOI":"10.1017\/CBO9781107050884"},{"key":"G07FML","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1016\/S1570-2464(07)80012-7","article-title":"First-order modal logic","volume-title":"Handbook of Modal Logic","author":"Bra+.2222emuner","year":"2007"},{"key":"FWvD14","first-page":"178","article-title":"Almost neccessary","volume-title":"Proceedings of AiML Vol.10","author":"Fan","year":"2014"},{"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":"KH17","doi-asserted-by":"crossref","DOI":"10.24963\/ijcai.2017\/143","article-title":"Strategically knowing how","volume-title":"Proceedings of IJCAI '17","author":"Fervari","year":"2017"},{"key":"FittingM1998","doi-asserted-by":"publisher","volume-title":"First-Order Modal Logic","author":"Fitting","year":"1998","DOI":"10.1007\/978-94-011-5292-1"},{"key":"GvEW16","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":"Proceedings of ICLA'17","author":"Gattinger","year":"2017"},{"key":"gochet2006epistemic","doi-asserted-by":"publisher","DOI":"10.1016\/S1874-5857(06)80028-2","article-title":"Epistemic Logic","volume-title":"Handbook of the History of Logic","volume":"7","author":"Gochet","year":"2006"},{"key":"Gore99","doi-asserted-by":"publisher","volume-title":"Tableau Methods for Modal and Temporal Logics","author":"Gor\u00e9","year":"1999","DOI":"10.1007\/978-94-017-1754-0_6"},{"key":"LNCS2500","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36387-4","volume-title":"Automata, Logics, and Infinite Games: A Guide to Current Research","volume":"2500","year":"2002"},{"issue":"2","key":"SG82","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/bf00351052","article-title":"Semantic Analysis of \"Wh\"-Complements","volume":"5","author":"Groenendijk","year":"1982","journal-title":"Linguistics and Philosophy"},{"key":"GW16","first-page":"362","article-title":"``Knowing value'' logic as a normal modal logic","volume-title":"Proceedings of AiML Vol.11","author":"Gu","year":"2016"},{"key":"hamblin1973questions","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/b978-0-12-545850-4.50014-5","article-title":"Questions in Montague english","author":"Hamblin","year":"1973","journal-title":"Foundations of language"},{"key":"MML03","volume-title":"Monotonic Modal Logics","author":"Hansen","year":"2003"},{"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":"(AAMAS 2006","author":"Herzig","year":"2006"},{"key":"Hintikka:kab","doi-asserted-by":"publisher","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"Hintikka","year":"1962","DOI":"10.1111\/j.1468-0149.1963.tb00788.x"},{"issue":"2","key":"Hodkinson02a","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1021356410579","article-title":"Monodic Packed Fragment with Equality is Decidable","volume":"72","author":"Hodkinson","year":"2002","journal-title":"Studia Logica"},{"key":"HodkinsonWZ00","doi-asserted-by":"publisher","first-page":"85","DOI":"10.2307\/2695115","article-title":"Decidable fragment of first-order temporal logics","volume":"106","author":"Hodkinson","year":"2000","journal-title":"Annals of Pure and Applied Logic"},{"key":"HodkinsonWZ02","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1109\/lics.2002.1029847","article-title":"Decidable and Undecidable Fragments of First-Order Branching Temporal Logics","volume-title":"Proceedings of LiCS'02","author":"Hodkinson","year":"2002"},{"key":"Cresswell96","doi-asserted-by":"publisher","volume-title":"A New Introduction to Modal Logic","author":"Hughes","year":"1996","DOI":"10.4324\/9780203028100"},{"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":"Fundam. Inform."},{"key":"Lange","volume-title":"Games for Modal and Temporal Logics","author":"Lange","year":"2002"},{"key":"LauWang","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1111\/phil.12130","article-title":"Knowing your ability","author":"Lau","year":"2016","journal-title":"The Philosophical Forum"},{"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":"Proceedings of ICLA'17","author":"Li","year":"2017"},{"key":"NaumovT17","doi-asserted-by":"crossref","article-title":"Together We Know How to Achieve: An Epistemic Logic of Know-How","volume-title":"Proceedings of TARK'17","author":"Naumov","DOI":"10.1016\/j.artint.2018.06.007"},{"key":"Pauly2000","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/3-540-44622-2_33","article-title":"From Programs to Games: Invariance and Safety for Bisimulation","volume-title":"Proceedings of CSL'00","author":"Pauly","year":"2000"},{"issue":"2","key":"PubPlazanew","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","article-title":"Logics of public communications","volume":"158","author":"Plaza","year":"2007","journal-title":"Synthese"},{"key":"PriestIfIs","doi-asserted-by":"publisher","volume-title":"An Introduction to Non-Classical Logic: From If to Is","author":"Priest","year":"2008","DOI":"10.1017\/cbo9780511801174"},{"key":"MuvsMSOLNCS2500","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/3-540-36387-4_14","article-title":"Expressive Power of Monadic Second-Order Logic and Modal mu-Calculus","volume-title":"Automata Logics, and Infinite Games","author":"Rohde","year":"2002"},{"key":"stanley2011know","doi-asserted-by":"publisher","volume-title":"Know how","author":"Stanley","year":"2011","DOI":"10.1093\/acprof:oso\/9780199695362.001.0001"},{"key":"stanley2001knowing","doi-asserted-by":"publisher","first-page":"411","DOI":"10.2307\/2678403","article-title":"Knowing how","author":"Stanley","year":"2001","journal-title":"The Journal of Philosophy"},{"issue":"1","key":"TansGF","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.apal.2004.01.003","article-title":"The guarded fragment with transitive guards","volume":"128","author":"Szwast","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"key":"Wang15:lori","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":"Proceedings of LORI-V","author":"Wang","year":"2015"},{"key":"WangBKT","article-title":"Beyond knowing that: a new generation of epistemic logics","volume-title":"Jaakko Hintikka on knowledge and game theoretical semantics (forthcoming)","author":"Wang","year":"2016"},{"key":"Wang17","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-016-1272-0","article-title":"A logic of goal-directed knowing how","author":"Wang","year":"2017","journal-title":"Synthese"},{"key":"WF13","first-page":"1139","article-title":"Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators","volume-title":"Proceedings of IJCAI'13","author":"Wang","year":"2013"},{"key":"WF14","first-page":"569","article-title":"Conditionally knowing what","volume-title":"Proceedings of AiML Vol.10","author":"Wang","year":"2014"},{"issue":"3","key":"DeFOML","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.2307\/2695115","article-title":"Decidable Fragments of First-Order Modal Logics","volume":"66","author":"Wolter","year":"2001","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T12:13:02Z","timestamp":1569931982000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1707.08764v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,25]]},"references-count":43,"URL":"https:\/\/doi.org\/10.4204\/eptcs.251.38","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,25]]}}}
