DeepAI AI Chat
Log In Sign Up

Commonly Knowingly Whether

01/12/2020
by   Jie Fan, et al.
0

This paper introduces `commonly knowing whether', a non-standard version of classical common knowledge which is defined on the basis of `knowing whether', instead of classical `knowing that'. After giving five possible definitions of this concept, we explore the logical relations among them both in the multi-agent case and in the single-agent case. We focus on one definition and treat it as a modal operator. It is found that the expressivity of this operator is incomparable with the classical common knowledge operator. Moreover, some special properties of it over binary-tree models and KD45-models are investigated.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/15/2017

Strategically knowing how

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

Multi-Agent Only Knowing

Levesque introduced a notion of "only knowing", with the goal of capturi...
11/30/2013

Knowing Whether

Knowing whether a proposition is true means knowing that it is true or k...
05/20/2020

Some Common Mistakes in the Teaching and Textbooks of Modal Logic

We discuss four common mistakes in the teaching and textbooks of modal l...
09/10/2010

Multi-Agent Only-Knowing Revisited

Levesque introduced the notion of only-knowing to precisely capture the ...
01/15/2014

Variable Forgetting in Reasoning about Knowledge

In this paper, we investigate knowledge reasoning within a simple framew...
02/04/2022

A nonlinear PPH-type reconstruction based on equilateral triangles

In this paper we introduce a new nonlinear reconstruction operator over ...