@article(GF98,
 author       = {Hajnal Andr{\'{e}}ka and Istv{\'{a}}n N{\'{e}}meti and Johan van Benthem},
 year         = {1998},
 title        = {Modal Languages and Bounded Fragments of Predicate Logic},
 journal      = {Journal of Philosophical Logic},
 volume       = {27},
 number       = {3},
 pages        = {217--274},
 doi          = {10.1023/A:1004275029985},
)
@inproceedings(Baltag16,
 author       = {Alexandru Baltag},
 year         = {2016},
 title        = {To Know is to Know the Value of a Variable},
 booktitle    = {Proceedings of AiML Vol. 11},
 pages        = {135--155},
 url          = {http://www.aiml.net/volumes/volume11/Baltag.pdf},
)
@article(BelardinelliL11,
 author       = {Francesco Belardinelli and Alessio Lomuscio},
 year         = {2011},
 title        = {First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment},
 journal      = {Fundamenta Informaticae},
 volume       = {106},
 number       = {2-4},
 pages        = {175--190},
 doi          = {10.3233/FI-2011-382},
)
@incollection(vB10,
 author       = {Johan van Benthem},
 year         = {2010},
 title        = {Frame correspondences in modal predicate logic},
 booktitle    = {Proofs, categories and computations: essays in honor of \text{Grigori Mints}},
 publisher    = {College Publications},
)
@book(mlbook,
 author       = {Patrick Blackburn and Maarten de Rijke and Yde Venema},
 year         = {2002},
 title        = {Modal Logic},
 publisher    = {{Cambridge University Press}},
 doi          = {10.1017/CBO9781107050884},
)
@incollection(G07FML,
 author       = {Bra\tmspace+\medmuskip{.2222em}uner, Torben and Silvio Ghilardi},
 year         = {2007},
 title        = {First-order modal logic},
 booktitle    = {Handbook of Modal Logic},
 pages        = {549--620},
 doi          = {10.1016/S1570-2464(07)80012-7},
)
@inproceedings(FWvD14,
 author       = {Jie Fan and Yanjing Wang and Hans van Ditmarsch},
 year         = {2014},
 title        = {Almost neccessary},
 booktitle    = {Proceedings of AiML Vol.10},
 pages        = {178--196},
 url          = {http://www.aiml.net/volumes/volume10/Fan-Wang-Ditmarsch.pdf},
)
@article(FWvD15,
 author       = {Jie Fan and Yanjing Wang and Hans van Ditmarsch},
 year         = {2015},
 title        = {Contingency and Knowing Whether},
 journal      = {The Review of Symbolic Logic},
 volume       = {8},
 pages        = {75--107},
 doi          = {10.1017/S1755020314000343},
)
@inproceedings(KH17,
 author       = {Raul Fervari and Andreas Herzig and Yanjun Li and Yanjing Wang},
 year         = {2017},
 title        = {Strategically knowing how},
 booktitle    = {Proceedings of IJCAI '17},
 note         = {To appear},
)
@book(FittingM1998,
 author       = {Melvin Fitting and Richard L. Mendelsohn},
 year         = {1998},
 title        = {First-Order Modal Logic},
 publisher    = {Springer},
 doi          = {10.1007/978-94-011-5292-1},
)
@inproceedings(GvEW16,
 author       = {Malvin Gattinger and Jan van Eijck and Yanjing Wang},
 year         = {2017},
 title        = {Knowing Values and Public Inspection},
 booktitle    = {Proceedings of ICLA'17},
 pages        = {77--90},
 doi          = {10.1007/978-3-662-54069-5_7},
)
@incollection(gochet2006epistemic,
 author       = {Paul Gochet and Pascal Gribomont},
 year         = {2006},
 title        = {Epistemic Logic},
 editor       = {Dov M. Gabbay and John Woods},
 booktitle    = {Handbook of the History of Logic},
 volume       = {7},
 doi          = {10.1016/S1874-5857(06)80028-2},
)
@inbook(Gore99,
 author       = {Rajeev Gor{\'e}},
 year         = {1999},
 title        = {Tableau Methods for Modal and Temporal Logics},
 publisher    = {Springer Netherlands},
 doi          = {10.1007/978-94-017-1754-0_6},
)
@proceedings(LNCS2500,
 editor       = {Erich Gr{\"{a}}del and Wolfgang Thomas and Thomas Wilke},
 year         = {2002},
 title        = {Automata, Logics, and Infinite Games: A Guide to Current Research},
 series       = {LNCS},
 volume       = {2500},
 publisher    = {Springer},
 doi          = {10.1007/3-540-36387-4},
)
@article(SG82,
 author       = {Jeroen Groenendijk and Martin Stokhof},
 year         = {1982},
 title        = {Semantic Analysis of "Wh"-Complements},
 journal      = {Linguistics and Philosophy},
 volume       = {5},
 number       = {2},
 pages        = {175--233},
 doi          = {10.1007/bf00351052},
)
@inproceedings(GW16,
 author       = {Tao Gu and Yanjing Wang},
 year         = {2016},
 title        = {``Knowing value'' logic as a normal modal logic},
 booktitle    = {Proceedings of AiML Vol.11},
 pages        = {362--381},
 url          = {www.aiml.net/volumes/volume11/Gu-Wang.pdf},
)
@article(hamblin1973questions,
 author       = {Charles L Hamblin},
 year         = {1973},
 title        = {Questions in {M}ontague english},
 journal      = {Foundations of language},
 pages        = {41--53},
 doi          = {10.1016/b978-0-12-545850-4.50014-5},
)
@mastersthesis(MML03,
 author       = {Helle Hvid Hansen},
 year         = {2003},
 title        = {Monotonic Modal Logics},
 school       = {Universiteit van Amsterdam},
 url          = {https://eprints.illc.uva.nl/108/},
)
@inproceedings(HerzigT06,
 author       = {Andreas Herzig and Nicolas Troquard},
 year         = {2006},
 title        = {Knowing how to play: uniform choices in logics of agency},
 booktitle    = {{(AAMAS} 2006},
 pages        = {209--216},
 doi          = {10.1145/1160633.1160666},
)
@book(Hintikka:kab,
 author       = {Jaakko Hintikka},
 year         = {1962},
 title        = {Knowledge and Belief: An Introduction to the Logic of the Two Notions},
 publisher    = {Cornell University Press},
 address      = {Ithaca N.Y.},
 doi          = {10.1111/j.1468-0149.1963.tb00788.x},
)
@article(Hodkinson02a,
 author       = {Ian M. Hodkinson},
 year         = {2002},
 title        = {Monodic Packed Fragment with Equality is Decidable},
 journal      = {Studia Logica},
 volume       = {72},
 number       = {2},
 pages        = {185--197},
 doi          = {10.1023/A:1021356410579},
)
@article(HodkinsonWZ00,
 author       = {Ian M. Hodkinson and Frank Wolter and Michael Zakharyaschev},
 year         = {2000},
 title        = {Decidable fragment of first-order temporal logics},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {106},
 number       = {1-3},
 pages        = {85--134},
 doi          = {10.2307/2695115},
)
@inproceedings(HodkinsonWZ02,
 author       = {Ian M. Hodkinson and Frank Wolter and Michael Zakharyaschev},
 year         = {2002},
 title        = {Decidable and Undecidable Fragments of First-Order Branching Temporal Logics},
 booktitle    = {Proceedings of LiCS'02},
 pages        = {393--402},
 doi          = {10.1109/lics.2002.1029847},
)
@book(Cresswell96,
 author       = {G. E. Hughes and M. J. Cresswell},
 year         = {1996},
 title        = {A New Introduction to Modal Logic},
 publisher    = {Routledge},
 doi          = {10.4324/9780203028100},
)
@article(JamrogaA07,
 author       = {Wojciech Jamroga and {\r A}gotnes, Thomas},
 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       = {Wojciech Jamroga and Wiebe van der Hoek},
 year         = {2004},
 title        = {Agents that Know How to Play},
 journal      = {Fundam. Inform.},
 volume       = {63},
 number       = {2-3},
 pages        = {185--219},
 url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi63-2-3-05},
)
@phdthesis(Lange,
 author       = {Martin Lange},
 year         = {2002},
 title        = {Games for Modal and Temporal Logics},
 school       = {University of Edinburgh},
 url          = {www.lfcs.inf.ed.ac.uk/reports/03/ECS-LFCS-03-431/},
)
@article(LauWang,
 author       = {Tszyuen Lau and Yanjing Wang},
 year         = {2016},
 title        = {Knowing your ability},
 journal      = {The Philosophical Forum},
 pages        = {415--424},
 doi          = {10.1111/phil.12130},
)
@inproceedings(LiWang17,
 author       = {Yanjun Li and Yanjing Wang},
 year         = {2017},
 title        = {Achieving while maintaining: A logic of knowing how with intermediate constraints},
 booktitle    = {Proceedings of ICLA'17},
 pages        = {154--167},
 doi          = {10.1007/978-3-662-54069-5_12},
)
@inproceedings(NaumovT17,
 author       = {Pavel Naumov and Jia Tao},
 title        = {Together We Know How to Achieve: An Epistemic Logic of Know-How},
 booktitle    = {Proceedings of TARK'17},
 url          = {arxiv.org/abs/1705.09349},
)
@inproceedings(Pauly2000,
 author       = {Marc Pauly},
 year         = {2000},
 title        = {From Programs to Games: Invariance and Safety for Bisimulation},
 booktitle    = {Proceedings of CSL'00},
 publisher    = {Springer},
 pages        = {485--496},
 doi          = {10.1007/3-540-44622-2_33},
)
@article(PubPlazanew,
 author       = {Jan Plaza},
 year         = {2007},
 title        = {Logics of public communications},
 journal      = {Synthese},
 volume       = {158},
 number       = {2},
 pages        = {165--179},
 doi          = {10.1007/s11229-007-9168-7},
)
@book(PriestIfIs,
 author       = {Graham Priest},
 year         = {2008},
 title        = {An Introduction to Non-Classical Logic: From If to Is},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511801174},
)
@incollection(MuvsMSOLNCS2500,
 author       = {Philipp Rohde},
 year         = {2002},
 title        = {Expressive Power of Monadic Second-Order Logic and Modal mu-Calculus},
 booktitle    = {Automata Logics, and Infinite Games},
 pages        = {387--393},
 doi          = {10.1007/3-540-36387-4_14},
)
@book(stanley2011know,
 author       = {Jason Stanley},
 year         = {2011},
 title        = {Know how},
 publisher    = {Oxford University Press},
 doi          = {10.1093/acprof:oso/9780199695362.001.0001},
)
@article(stanley2001knowing,
 author       = {Jason Stanley and Timothy Williamson},
 year         = {2001},
 title        = {Knowing how},
 journal      = {The Journal of Philosophy},
 pages        = {411--444},
 doi          = {10.2307/2678403},
)
@article(TansGF,
 author       = {Wies{\l}aw Szwast and Lidia Tendera},
 year         = {2004},
 title        = {The guarded fragment with transitive guards},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {128},
 number       = {1},
 pages        = {227 -- 276},
 doi          = {10.1016/j.apal.2004.01.003},
)
@inproceedings(Wang15:lori,
 author       = {Yanjing Wang},
 year         = {2015},
 title        = {A Logic of Knowing How},
 booktitle    = {Proceedings of LORI-V},
 pages        = {392--405},
 doi          = {10.1007/978-3-662-48561-3_32},
)
@incollection(WangBKT,
 author       = {Yanjing Wang},
 year         = {2016},
 title        = {Beyond knowing that: a new generation of epistemic logics},
 booktitle    = {Jaakko Hintikka on knowledge and game theoretical semantics (forthcoming)},
 url          = {arxiv.org/abs/1605.01995},
)
@article(Wang17,
 author       = {Yanjing Wang},
 year         = {2017},
 title        = {A logic of goal-directed knowing how},
 journal      = {Synthese},
 doi          = {10.1007/s11229-016-1272-0},
 note         = {Forthcoming},
)
@inproceedings(WF13,
 author       = {Yanjing Wang and Jie Fan},
 year         = {2013},
 title        = {Knowing That, Knowing What, and Public Communication: Public Announcement Logic with \texttt{Kv} Operators},
 booktitle    = {Proceedings of IJCAI'13},
 pages        = {1139--1146},
 url          = {www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6742/6782},
)
@inproceedings(WF14,
 author       = {Yanjing Wang and Jie Fan},
 year         = {2014},
 title        = {Conditionally knowing what},
 booktitle    = {Proceedings of AiML Vol.10},
 pages        = {569--587},
 url          = {www.aiml.net/volumes/volume10/Wang-Fan.pdf},
)
@article(DeFOML,
 author       = {Frank Wolter and Michael Zakharyaschev},
 year         = {2001},
 title        = {Decidable Fragments of First-Order Modal Logics},
 journal      = {The Journal of Symbolic Logic},
 volume       = {66},
 number       = {3},
 pages        = {1415--1438},
 doi          = {10.2307/2695115},
)
@unpublished(Xu16,
 author       = {Chao Xu and Yanjing Wang and Thomas Studer},
 year         = {2016},
 title        = {A Logic of Knowing Why},
 url          = {arxiv.org/abs/1609.06405},
 note         = {Manuscript},
)
@unpublished(FOdef16,
 author       = {Reihane Zoghifard and Massoud Pourmahdian},
 year         = {2016},
 title        = {First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems},
 url          = {arxiv.org/abs/1602.00201},
)