First Steps in Updating Knowing How

In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 1-16 (2023)
  Copy   BIBTEX


We investigate dynamic operations acting over a knowing how logic. Our approach makes use of a recently introduced semantics for the knowing how operator, based on an indistinguishability relation between plans. This semantics is arguably closer to the standard presentation of knowing that modalities in classic epistemic logic. Here, we discuss how the semantics enables us to define dynamic modalities representing different ways in which an agent can learn how to achieve a goal. In this regard, we study two types of updates: ontic updates (for which we provide axiomatizations over a particular class of models), and epistemic updates (for which we investigate some semantic properties).



    Upload a copy of this work     Papers currently archived: 86,605

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Knowing-that, Knowing-how, or Knowing-to?Yong Huang - 2017 - Journal of Philosophical Research 42:65-94.
An Analysis of Knowing. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (2):324-324.
Knowing‐Wh and Embedded Questions.Ted Parent - 2014 - Philosophy Compass 9 (2):81-95.
Knowing-that, knowing-how, and knowing philosophically.Stephen Hetherington - 2008 - Grazer Philosophische Studien 77 (1):307-324.
Two Senses of "Knowing".Richard Schmitt - 1965 - Review of Metaphysics 18 (4):657 - 677.
Knowing as Acting: Examples from Confucianism and Buddhism.Qiong Wang - 2016 - Dialogue and Universalism 26 (4):201-213.
Knowing How, What and That.Nathan Brett - 1974 - Canadian Journal of Philosophy 4 (2):293 - 300.
What our Rylean Ancestors Knew: More on Knowing How and Knowing That.Joseph Shieber - 2003 - Austrian Ludwig Wittgenstein Society 11:328-330.
Updating as Communication.Sarah Moss - 2012 - Philosophy and Phenomenological Research 85 (2):225-248.
Between Knowing How and Knowing That.Carlo Penco - 2014 - Liber Amicorum Pascal Engel.
Knowing and Valuing Fairness.J. M. Hinton - 1990 - Philosophy 65 (253):271 - 296.


Added to PP

6 (#1,223,350)

6 months
4 (#248,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Epistemic logic.Vincent Hendricks - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references