Uncertainty-Based Knowing How Logic

by   Carlos Areces, et al.

We introduce a novel semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the standard presentation of knowing that modalities in classical epistemic logic. We study the relationship between this new semantics and previous approaches, showing that our setting is general enough to capture them. We also study the logical properties of the new semantics. First, we define a sound and complete axiomatization. Second, we define a suitable notion of bisimulation and prove correspondence theorems. Finally, we investigate the computational complexity of the model checking and satisfiability problems for the new logic.


page 1

page 2

page 3

page 4


Uncertainty-Based Semantics for Multi-Agent Knowing How Logics

We introduce a new semantics for a multi-agent epistemic operator of kno...

Strategically knowing how

In this paper, we propose a single-agent logic of goal-directed knowing ...

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

Common knowledge and only knowing capture two intuitive and natural noti...

A Logic of Knowing Why

When we say "I know why he was late", we know not only the fact that he ...

Reasoning About the Transfer of Control

We present DCL-PC: a logic for reasoning about how the abilities of agen...

Multi-Agent Only Knowing

Levesque introduced a notion of "only knowing", with the goal of capturi...

Multi-Agent Only-Knowing Revisited

Levesque introduced the notion of only-knowing to precisely capture the ...

Please sign up or login with your details

Forgot password? Click here to reset