No confident code implementation found for this paper.
Prior proposes the term "egocentric" for logical systems that study properties of agents rather than properties of possible worlds. In such a setting, the paper introduces two different modalities capturing de re and de dicto knowledge and proves that these two modalities are not definable through each other.
No confident code match yet
We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.
No code implementations found yet.
Know of an implementation? Let us know in the comments below!
Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
Rational Capability in Concurrent Games
Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
Morphological Computing as Logic Underlying Cognition in Human, Animal, and Intelligent Machine
Belief, knowledge and evidence
@article{naumov2023dicto,
title = {De Re and De Dicto Knowledge in Egocentric Setting},
author = {Pavel Naumov and Anna Ovchinnikova},
year = {2023},
eprint = {2308.00001},
archivePrefix = {arXiv},
url = {http://arxiv.org/abs/2308.00001v1}
}Shows whether official code is linked for this paper.
[](https://codeofpaper.com/paper/2308.00001)