DeepAI AI Chat
Log In Sign Up

Commonly Knowingly Whether

by   Jie Fan, et al.

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.


page 1

page 2

page 3

page 4


Strategically knowing how

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

Multi-Agent Only Knowing

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

Knowing Whether

Knowing whether a proposition is true means knowing that it is true or k...

Some Common Mistakes in the Teaching and Textbooks of Modal Logic

We discuss four common mistakes in the teaching and textbooks of modal l...

Multi-Agent Only-Knowing Revisited

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

Variable Forgetting in Reasoning about Knowledge

In this paper, we investigate knowledge reasoning within a simple framew...

A nonlinear PPH-type reconstruction based on equilateral triangles

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