Hajnal Andréka, István Németi & Johan van Benthem (1998):
Modal Languages and Bounded Fragments of Predicate Logic.
Journal of Philosophical Logic 27(3),
pp. 217–274,
doi:10.1023/A:1004275029985.
Francesco Belardinelli & Alessio Lomuscio (2011):
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.
Fundamenta Informaticae 106(2-4),
pp. 175–190,
doi:10.3233/FI-2011-382.
Johan van Benthem (2010):
Frame correspondences in modal predicate logic.
In: Proofs, categories and computations: essays in honor of Grigori Mints.
College Publications.
Patrick Blackburn, Maarten de Rijke & Yde Venema (2002):
Modal Logic.
Cambridge University Press,
doi:10.1017/CBO9781107050884.
Torben Bra+.2222emuner & Silvio Ghilardi (2007):
First-order modal logic.
In: Handbook of Modal Logic,
pp. 549–620,
doi:10.1016/S1570-2464(07)80012-7.
Jie Fan, Yanjing Wang & Hans van Ditmarsch (2015):
Contingency and Knowing Whether.
The Review of Symbolic Logic 8,
pp. 75–107,
doi:10.1017/S1755020314000343.
Raul Fervari, Andreas Herzig, Yanjun Li & Yanjing Wang (2017):
Strategically knowing how.
In: Proceedings of IJCAI '17.
To appear.
Melvin Fitting & Richard L. Mendelsohn (1998):
First-Order Modal Logic.
Springer,
doi:10.1007/978-94-011-5292-1.
Malvin Gattinger, Jan van Eijck & Yanjing Wang (2017):
Knowing Values and Public Inspection.
In: Proceedings of ICLA'17,
pp. 77–90,
doi:10.1007/978-3-662-54069-5_7.
Paul Gochet & Pascal Gribomont (2006):
Epistemic Logic.
In: Dov M. Gabbay & John Woods: Handbook of the History of Logic 7,
doi:10.1016/S1874-5857(06)80028-2.
Rajeev Goré (1999):
Tableau Methods for Modal and Temporal Logics.
Springer Netherlands,
doi:10.1007/978-94-017-1754-0_6.
Erich Grädel, Wolfgang Thomas & Thomas Wilke (2002):
Automata, Logics, and Infinite Games: A Guide to Current Research.
LNCS 2500.
Springer,
doi:10.1007/3-540-36387-4.
Jeroen Groenendijk & Martin Stokhof (1982):
Semantic Analysis of "Wh"-Complements.
Linguistics and Philosophy 5(2),
pp. 175–233,
doi:10.1007/bf00351052.
Tao Gu & Yanjing Wang (2016):
``Knowing value'' logic as a normal modal logic.
In: Proceedings of AiML Vol.11,
pp. 362–381.
Available at www.aiml.net/volumes/volume11/Gu-Wang.pdf.
Andreas Herzig & Nicolas Troquard (2006):
Knowing how to play: uniform choices in logics of agency.
In: (AAMAS 2006,
pp. 209–216,
doi:10.1145/1160633.1160666.
Jaakko Hintikka (1962):
Knowledge and Belief: An Introduction to the Logic of the Two Notions.
Cornell University Press,
Ithaca N.Y.,
doi:10.1111/j.1468-0149.1963.tb00788.x.
Ian M. Hodkinson (2002):
Monodic Packed Fragment with Equality is Decidable.
Studia Logica 72(2),
pp. 185–197,
doi:10.1023/A:1021356410579.
Ian M. Hodkinson, Frank Wolter & Michael Zakharyaschev (2000):
Decidable fragment of first-order temporal logics.
Annals of Pure and Applied Logic 106(1-3),
pp. 85–134,
doi:10.2307/2695115.
Ian M. Hodkinson, Frank Wolter & Michael Zakharyaschev (2002):
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.
In: Proceedings of LiCS'02,
pp. 393–402,
doi:10.1109/lics.2002.1029847.
G. E. Hughes & M. J. Cresswell (1996):
A New Introduction to Modal Logic.
Routledge,
doi:10.4324/9780203028100.
Wojciech Jamroga & Thomas Ågotnes (2007):
Constructive knowledge: what agents can achieve under imperfect information.
Journal of Applied Non-Classical Logics 17(4),
pp. 423–475,
doi:10.3166/jancl.17.423-475.
Tszyuen Lau & Yanjing Wang (2016):
Knowing your ability.
The Philosophical Forum,
pp. 415–424,
doi:10.1111/phil.12130.
Yanjun Li & Yanjing Wang (2017):
Achieving while maintaining: A logic of knowing how with intermediate constraints.
In: Proceedings of ICLA'17,
pp. 154–167,
doi:10.1007/978-3-662-54069-5_12.
Pavel Naumov & Jia Tao:
Together We Know How to Achieve: An Epistemic Logic of Know-How.
In: Proceedings of TARK'17.
Available at arxiv.org/abs/1705.09349.
Marc Pauly (2000):
From Programs to Games: Invariance and Safety for Bisimulation.
In: Proceedings of CSL'00.
Springer,
pp. 485–496,
doi:10.1007/3-540-44622-2_33.
Jan Plaza (2007):
Logics of public communications.
Synthese 158(2),
pp. 165–179,
doi:10.1007/s11229-007-9168-7.
Graham Priest (2008):
An Introduction to Non-Classical Logic: From If to Is.
Cambridge University Press,
doi:10.1017/cbo9780511801174.
Philipp Rohde (2002):
Expressive Power of Monadic Second-Order Logic and Modal mu-Calculus.
In: Automata Logics, and Infinite Games,
pp. 387–393,
doi:10.1007/3-540-36387-4_14.
Jason Stanley & Timothy Williamson (2001):
Knowing how.
The Journal of Philosophy,
pp. 411–444,
doi:10.2307/2678403.
Wiesław Szwast & Lidia Tendera (2004):
The guarded fragment with transitive guards.
Annals of Pure and Applied Logic 128(1),
pp. 227 – 276,
doi:10.1016/j.apal.2004.01.003.
Yanjing Wang (2015):
A Logic of Knowing How.
In: Proceedings of LORI-V,
pp. 392–405,
doi:10.1007/978-3-662-48561-3_32.
Yanjing Wang (2016):
Beyond knowing that: a new generation of epistemic logics.
In: Jaakko Hintikka on knowledge and game theoretical semantics (forthcoming).
Available at arxiv.org/abs/1605.01995.
Yanjing Wang (2017):
A logic of goal-directed knowing how.
Synthese,
doi:10.1007/s11229-016-1272-0.
Forthcoming.
Yanjing Wang & Jie Fan (2013):
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators.
In: Proceedings of IJCAI'13,
pp. 1139–1146.
Available at www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6742/6782.
Frank Wolter & Michael Zakharyaschev (2001):
Decidable Fragments of First-Order Modal Logics.
The Journal of Symbolic Logic 66(3),
pp. 1415–1438,
doi:10.2307/2695115.
Chao Xu, Yanjing Wang & Thomas Studer (2016):
A Logic of Knowing Why.
Available at arxiv.org/abs/1609.06405.
Manuscript.
Reihane Zoghifard & Massoud Pourmahdian (2016):
First-Order Modal Logic: Frame Definability and Lindström Theorems.
Available at arxiv.org/abs/1602.00201.