25 citations · 126 across the 20 of their papers we have counts for
12 papers · 1 filter
Epistemic Syllogistic: First Steps
Yipu Li, Yanjing Wang
Aristotle's discussions on modal syllogistic have often been viewed as error-prone and have garnered significant attention in the literature due to historical and philosophical int…
When Names Are Not Commonly Known: Epistemic Logic with Assignments
Yanjing Wang, Jeremy Seligman
In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly. This is unreasonable for various applications. Inspired by term modal logic and assi…
A New Modal Framework for Epistemic Logic
Yanjing Wang
Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introd…
Strategically knowing how
Raul Fervari, Andreas Herzig, Yanjun Li +1
In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of…
A Logic of Knowing Why
Chao Xu, Yanjing Wang, Thomas Studer
When we say "I know why he was late", we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of "knowing why" inspired by…
A Dynamic Epistemic Framework for Conformant Planning
Quan Yu, Yanjun Li, Yanjing Wang
In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning…
True Lies
Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a formula (that is false and) that beco…
Beyond knowing that: a new generation of epistemic logics
Yanjing Wang
Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka (1962). Despite its various successful applications in theoretical co…
"Knowing value" logic as a normal modal logic
Tao Gu, Yanjing Wang
Recent years witness a growing interest in nonstandard epistemic logics of "knowing whether", "knowing what", "knowing how", and so on. These logics are usually not normal, i.e., t…
From rules to runs: A dynamic epistemic take on imperfect information games
Kai Li, Yanjing Wang
In the literature of game theory, the information sets of extensive form games have different interpretations, which may lead to confusions and paradoxical cases. We argue that the…
A Logic of Knowing How
Yanjing Wang
In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated…
Knowing Whether
Jie Fan, Yanjing Wang, Hans van Ditmarsch
Knowing whether a proposition is true means knowing that it is true or knowing that it is false. In this paper, we study logics with a modal operator Kw for knowing whether but wit…