Strategically knowing how

05/15/2017
by   Raul Fervari, et al.
0

In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of the new operator is based on the idea that knowing how to achieve ϕ means that there exists a (uniform) strategy such that the agent knows that it can make sure ϕ. We give an intuitive axiomatization of our logic and prove the soundness, completeness, and decidability of the logic. The crucial axioms relating knowing that and knowing how illustrate our understanding of knowing how in this setting. This logic can be used in representing both knowledge-that and knowledge-how.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/11/2023

Tableaux for the Logic of Strategically Knowing How

The logic of goal-directed knowing-how extends the standard epistemic lo...
research
05/25/2015

A Logic of Knowing How

In this paper, we propose a single-agent modal logic framework for reaso...
research
09/21/2016

A Logic of Knowing Why

When we say "I know why he was late", we know not only the fact that he ...
research
07/22/2019

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions

In standard epistemic logic, knowing that p is the same as knowing that ...
research
06/07/2017

Epistemic Logic with Functional Dependency Operator

Epistemic logic with non-standard knowledge operators, especially the "k...
research
06/05/2023

Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version)

Common knowledge and only knowing capture two intuitive and natural noti...
research
04/03/2023

Uncertainty-Based Knowing How Logic

We introduce a novel semantics for a multi-agent epistemic operator of k...

Please sign up or login with your details

Forgot password? Click here to reset