Epistemic Logic with Functional Dependency Operator

06/07/2017
by   Yifeng Ding, et al.
0

Epistemic logic with non-standard knowledge operators, especially the "knowing-value" operator, has recently gathered much attention. With the "knowing-value" operator, we can express knowledge of individual variables, but not of the relations between them in general. In this paper, we propose a new operator Kf to express knowledge of the functional dependencies between variables. The semantics of this Kf operator uses a function domain which imposes a constraint on what counts as a functional dependency relation. By adjusting this function domain, different interesting logics arise, and in this paper we axiomatize three such logics in a single agent setting. Then we show how these three logics can be unified by allowing the function domain to vary relative to different agents and possible worlds. A multiagent axiomatization is given in this case.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/15/2017

Strategically knowing how

In this paper, we propose a single-agent logic of goal-directed knowing ...
research
07/27/2017

A New Modal Framework for Epistemic Logic

Recent years witnessed a growing interest in non-standard epistemic logi...
research
06/22/2021

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics

We introduce a new semantics for a multi-agent epistemic operator of kno...
research
11/30/2013

Knowing Whether

Knowing whether a proposition is true means knowing that it is true or k...
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/11/2023

An Abstract Look at Awareness Models and Their Dynamics

This work builds upon a well-established research tradition on modal log...
research
08/20/2002

Complete Axiomatizations for Reasoning About Knowledge and Time

Sound and complete axiomatizations are provided for a number of differen...

Please sign up or login with your details

Forgot password? Click here to reset