@article(artemov2008logic,
 author       = {S.~Artemov},
 year         = {2008},
 title        = {The logic of justification},
 journal      = {The Review of Symbolic Logic},
 volume       = {1},
 number       = {04},
 pages        = {477--513},
 doi          = {10.1017/S1755020308090060},
)
@inproceedings(Baltag16,
 author       = {A.~Baltag},
 year         = {2016},
 title        = {To Know is to Know the Value of a Variable},
 booktitle    = {Advances in Modal Logic 11},
 pages        = {135--155},
)
@inproceedings(Belardinelli14,
 author       = {F.~Belardinelli},
 year         = {2014},
 title        = {Reasoning about Knowledge and Strategies: Epistemic Strategy Logic},
 booktitle    = {Proceedings of {SR} 2014},
 pages        = {27--33},
 doi          = {10.4204/EPTCS.146.4},
)
@book(vanBenthem2011ldii,
 author       = {J.~van Benthem},
 year         = {2011},
 title        = {Logical Dynamics of Information and Interaction},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511974533},
)
@incollection(blackburn06,
 author       = {P.~Blackburn and J.~van Benthem},
 year         = {2006},
 title        = {Modal {L}ogic: {A} {S}emantic {P}erspective},
 booktitle    = {Handbook of Modal Logic},
 publisher    = {Elsevier},
 pages        = {1--84},
 doi          = {10.1016/s1570-2464(07)80004-8},
)
@book(mlbook,
 author       = {P.~Blackburn and M.~de~Rijke and Y.~Venema},
 year         = {2002},
 title        = {Modal Logic},
 publisher    = {{Cambridge University Press}},
 doi          = {10.1017/CBO9781107050884},
)
@book(DELbook,
 author       = {H.~van Ditmarsch and W.~van~der Hoek and B.~Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@inproceedings(EijckGW17,
 author       = {J.~van Eijck and M.~Gattinger and Y.~Wang},
 year         = {2017},
 title        = {Knowing Values and Public Inspection},
 booktitle    = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017},
 pages        = {77--90},
 doi          = {10.1007/978-3-662-54069-5\_7},
)
@book(RAK,
 author       = {R.~Fagin and J.~Y. Halpern and Y.~Moses and M.~Y. Vardi},
 year         = {1995},
 title        = {Reasoning about knowledge},
 publisher    = {The MIT Press},
 address      = {Cambridge, Mass.},
 doi          = {10.7551/mitpress/5803.001.0001},
)
@article(FWvD15,
 author       = {J.~Fan and Y.~Wang and H.~van Ditmarsch},
 year         = {2015},
 title        = {Contingency and Knowing Whether},
 journal      = {The Review of Symbolic Logic},
 volume       = {8},
 pages        = {75--107},
 doi          = {10.1017/S1755020314000343},
)
@incollection(fantl2012introduction,
 author       = {J.~Fantl},
 year         = {2017},
 title        = {Knowledge How},
 editor       = {E.~Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {fall 2017},
 publisher    = {Metaphysics Research Lab, Stanford University},
)
@inproceedings(FervariHLW17,
 author       = {R.~Fervari and A.~Herzig and Y.~Li and Y.~Wang},
 year         = {2017},
 title        = {Strategically knowing how},
 booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017},
 pages        = {1031--1038},
 doi          = {10.24963/ijcai.2017/143},
)
@article(GorankoP92,
 author       = {V.~Goranko and S.~Passy},
 year         = {1992},
 title        = {Using the Universal Modality: Gains and Questions},
 journal      = {Journal of Logic and Computation},
 volume       = {2},
 number       = {1},
 pages        = {5--30},
 doi          = {10.1093/logcom/2.1.5},
)
@inproceedings(GW16,
 author       = {T.~Gu and Y.~Wang},
 year         = {2016},
 title        = {``{K}nowing value'' logic as a normal modal logic},
 booktitle    = {Advances in Modal Logic 11},
 pages        = {362--381},
)
@book(HKT00,
 author       = {D.~Harel and D.~Kozen and J.~Tiuryn},
 year         = {2000},
 title        = {Dynamic Logic},
 publisher    = {The MIT Press},
 doi          = {10.7551/mitpress/2516.001.0001},
)
@article(Hart:1996,
 author       = {S.~Hart and A.~Heifetz and D.~Samet},
 year         = {1996},
 title        = {Knowing Whether, Knowing That, and The Cardinality of State Spaces},
 journal      = {Journal of Economic Theory},
 volume       = {70},
 number       = {1},
 pages        = {249--256},
 doi          = {10.1006/jeth.1996.0084},
)
@article(Herzig15,
 author       = {A.~Herzig},
 year         = {2015},
 title        = {Logics of knowledge and action: critical analysis and challenges},
 journal      = {Autonomous Agents and Multi-Agent Systems},
 volume       = {29},
 number       = {5},
 pages        = {719--753},
 doi          = {10.1007/s10458-014-9267-z},
)
@inproceedings(HerzigT06,
 author       = {A.~Herzig and N.~Troquard},
 year         = {2006},
 title        = {Knowing how to play: uniform choices in logics of agency},
 booktitle    = {Proceedings of AAMAS 06},
 pages        = {209--216},
 doi          = {10.1145/1160633.1160666},
)
@book(Hintikka:kab,
 author       = {J.~Hintikka},
 year         = {1962},
 title        = {Knowledge and Belief},
 publisher    = {Cornell University Press},
 address      = {Ithaca N.Y.},
)
@article(Hoek00,
 author       = {W.~van~der Hoek and B.~van Linder and J{-}J.~Ch. Meyer},
 year         = {2000},
 title        = {On Agents That Have the Ability to Choose},
 journal      = {Studia Logica},
 volume       = {66},
 number       = {1},
 pages        = {79--119},
 doi          = {10.1023/A:1026796912842},
)
@inproceedings(wiebeetal:2003,
 author       = {W.~van~der Hoek and A.~Lomuscio},
 year         = {2003},
 title        = {Ignore at your peril -- towards a logic for ignorance},
 booktitle    = {Proceedings of AAMAS 03},
 pages        = {1148--1149},
 doi          = {10.1145/860575.860839},
)
@article(JamrogaA07,
 author       = {W.~Jamroga and T.~{\r A}gotnes},
 year         = {2007},
 title        = {Constructive knowledge: what agents can achieve under imperfect information},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {17},
 number       = {4},
 pages        = {423--475},
 doi          = {10.3166/jancl.17.423-475},
)
@article(JamrogaH04,
 author       = {W.~Jamroga and W.~van~der Hoek},
 year         = {2004},
 title        = {Agents that Know How to Play},
 journal      = {Fundamenta Informaticae},
 volume       = {63},
 number       = {2-3},
 pages        = {185--219},
)
@article(Les00,
 author       = {Y.~Lesp{\'{e}}rance and H.~J. Levesque and F.~Lin and R.~B. Scherl},
 year         = {2000},
 title        = {Ability and Knowing How in the Situation Calculus},
 journal      = {Studia Logica},
 volume       = {66},
 number       = {1},
 pages        = {165--186},
 doi          = {10.1023/A:1026761331498},
)
@article(Li17,
 author       = {Y.~Li},
 year         = {2017},
 title        = {Stopping Means Achieving: A Weaker Logic of Knowing How},
 journal      = {Studies in Logic},
 volume       = {9},
 number       = {4},
 pages        = {34--54},
)
@inproceedings(LiWang17,
 author       = {Y.~Li and Y.~Wang},
 year         = {2017},
 title        = {Achieving While Maintaining: {A} Logic of Knowing How with Intermediate Constraints},
 booktitle    = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017},
 pages        = {154--167},
 doi          = {10.1007/978-3-662-54069-5\_12},
)
@inproceedings(Mccarthy69,
 author       = {J.~McCarthy and P.~J. Hayes},
 year         = {1969},
 title        = {Some Philosophical Problems from the Standpoint of Artificial Intelligence},
 booktitle    = {Machine Intelligence},
 publisher    = {Edinburgh University Press},
 pages        = {463--502},
)
@incollection(Moore85,
 author       = {R.~Moore},
 year         = {1985},
 title        = {A formal theory of knowledge and action},
 booktitle    = {Formal Theories of the Commonsense World},
 publisher    = {Ablex Publishing Corporation},
)
@inproceedings(Wang19a,
 author       = {X.~Wang},
 year         = {2019},
 title        = {A Logic of Knowing How with Skippable Plans},
 booktitle    = {Logic, Rationality, and Interaction -- 7th International Workshop, {LORI} 2019},
 pages        = {413--424},
 doi          = {10.1007/978-3-662-60292-8_30},
)
@inproceedings(Wang15lori,
 author       = {Y.~Wang},
 year         = {2015},
 title        = {A Logic of Knowing How},
 booktitle    = {Logic, Rationality, and Interaction -- 5th International Workshop, {LORI} 2015},
 pages        = {392--405},
 doi          = {10.1007/978-3-662-48561-3\_32},
)
@incollection(Wang16,
 author       = {Y.~Wang},
 year         = {2018},
 title        = {Beyond knowing that: a new generation of epistemic logics},
 editor       = {H.~van Ditmarsch and G.~Sandu},
 booktitle    = {J. Hintikka on knowledge and game theoretical semantics},
 publisher    = {Springer},
 pages        = {499--533},
 doi          = {10.1007/978-3-319-62864-6_21},
)
@article(Wang2016,
 author       = {Y.~Wang},
 year         = {2018},
 title        = {A logic of goal-directed knowing how},
 journal      = {Synthese},
 volume       = {195},
 number       = {10},
 pages        = {4419--4439},
 doi          = {10.1007/s11229-016-1272-0},
)
@article(XuW16,
 author       = {C.~Xu and Y.~Wang and T.~Studer},
 year         = {2021},
 title        = {A Logic of Knowing Why},
 journal      = {Synthese},
 volume       = {198},
 pages        = {1259--1285},
 doi          = {10.1007/s11229-019-02104-0},
)