Uncertainty-Based Semantics for Multi-Agent Knowing How Logics

06/22/2021
by   Carlos Areces, et al.
0

We introduce a new 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 semantics and previous approaches, showing that our setting is general enough to capture them. We also define a sound and complete axiomatization, and investigate the computational complexity of its model checking and satisfiability problems.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/03/2023

Uncertainty-Based Knowing How Logic

We introduce a novel semantics for a multi-agent epistemic operator of k...
06/08/2023

Learnability with PAC Semantics for Multi-agent Beliefs

The tension between deduction and induction is perhaps the most fundamen...
07/11/2023

Tableaux for the Logic of Strategically Knowing How

The logic of goal-directed knowing-how extends the standard epistemic lo...
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...
06/07/2017

Epistemic Logic with Functional Dependency Operator

Epistemic logic with non-standard knowledge operators, especially the "k...
09/10/2010

Multi-Agent Only-Knowing Revisited

Levesque introduced the notion of only-knowing to precisely capture the ...
01/19/2000

Multi-Agent Only Knowing

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

Please sign up or login with your details

Forgot password? Click here to reset