•  74
    A Dynamic Epistemic Logic with a Knowability Principle
    In Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science, Springer. pp. 406-410. 2015.
    A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.
  •  25
    The problem of perception is the problem of explaining how perceptual knowledge is possible. The skeptic has a simple solution: it is not possible. I analyze the weaknesses of one type of skeptical reasoning by making explicit a dynamic epistemic principle from dynamic epistemic logic that is implicitly used in debating the problem, with the aim of offering a novel diagnosis to this skeptical argument. I argue that prominent modest foundationalist responses to perceptual skepticism can be unders…Read more
  •  23
    Opaque Updates
    Journal of Philosophical Logic 1-24. forthcoming.
    If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque updates using a simple system of dynamic episte…Read more
  •  21
    Reducing Contrastive Knowledge
    Erkenntnis 1-19. forthcoming.
    According to one form of epistemic contrastivism, due to Jonathan Schaffer, knowledge is not a binary relation between an agent and a proposition, but a ternary relation between an agent, a proposition, and a context-basing question. In a slogan: to know is to know the answer to a question. I argue, first, that Schaffer-style epistemic contrastivism can be semantically represented in inquisitive dynamic epistemic logic, a recent implementation of inquisitive semantics in the framework of dynamic…Read more
  •  17
    Explanatory Justice: The Case of Disjunctive Explanations
    Philosophy of Science 85 (3): 442-454. 2018.
    Recent years have witnessed an effort to explicate the concept of explanatory power in a Bayesian framework by constructing explanatory measures. It has been argued that those measures should not violate the principle of explanatory justice, which states that explanatory power cannot be extended “for free.” I argue, by formal means, that one recent measure claiming to be immune from explanatory injustice fails to be so. I end by concluding that the explanatory justice criticism can be dissolved,…Read more
  •  12
    Inexact knowledge and dynamic introspection
    Synthese 1-23. forthcoming.
    Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and higher-order knowledge. I argue that the received understanding of inexact observations is mistaken. Although it is convenient to assume that such cases can be modeled statically, they should be analyzed as dynamic cases that involve change of knowledge. Consequently, the underlying logic should be dynamic epistemic logic, not its static counterpart. When reasoning about inexact knowled…Read more