Epistemic Skills: Logical Dynamics of Knowing and Forgetting
We present a type of epistemic logics that encapsulates both the dynamics of acquiring
knowledge (knowing) and losing information (forgetting), alongside the integration of group …
knowledge (knowing) and losing information (forgetting), alongside the integration of group …
Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
The study of group knowledge concepts such as mutual, common, and distributed
knowledge is well established within the discipline of epistemic logic. In this work, we …
knowledge is well established within the discipline of epistemic logic. In this work, we …
Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge
In this paper, we delve into the study of epistemic logics, interpreted through similarity
models based on weighted graphs. We explore eight languages that extend the traditional …
models based on weighted graphs. We explore eight languages that extend the traditional …
Characterization of Similarity Metrics in Epistemic Logic
The comprehension of similarity metrics lags behind that of distance metrics. This study aims
to address this disparity by synthesizing the properties of similarity metrics and examining …
to address this disparity by synthesizing the properties of similarity metrics and examining …
[PDF][PDF] Epistemic logics over weighted graphs
In this paper we introduce weighted graphs and as a special case of it, similarity graphs,
which can be used to model similarity between epistemic objects. We study epistemic logics …
which can be used to model similarity between epistemic objects. We study epistemic logics …
Epistemic Logic via Distance and Similarity
A weighted graph extends a standard Kripke frame for modal logic with a weight on each of
its edges. Distance and similarity measures can be imposed so that the edges stand for the …
its edges. Distance and similarity measures can be imposed so that the edges stand for the …