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