25 citations · 126 across the 20 of their papers we have counts for
21 papers
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…
An Epistemic Interpretation of Tensor Disjunction
Haoyu Wang, Yanjing Wang, Yunsong Wang
This paper aims to give an epistemic interpretation to the tensor disjunction in dependence logic, through a rather surprising connection to the so-called weak disjunction in Medve…
Inquisitive Logic as an Epistemic Logic of Knowing How
Haoyu Wang, Yanjing Wang, Yunsong Wang
In this paper, we present an alternative interpretation of propositional inquisitive logic as an epistemic logic of knowing how. In our setting, an inquisitive logic formula be…
Are Bundles Good Deals for FOML?
Mo Liu, Anantha Padmanabha, R Ramanujam +1
Bundled products are often offered as good deals to customers. When we bundle quantifiers and modalities together (as in , etc.) in first-order…
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
Malvin Gattinger, Yanjing Wang
In standard epistemic logic, knowing that p is the same as knowing that p is true, but it does not say anything about understanding p or knowing its meaning. In this paper, we pres…
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…
Bundled fragments of first-order modal logic: (un)decidability
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Quantified modal logic provides a natural logical language for reasoning about modal attitudes even while retaining the richness of quantification for referring to predicates over…
Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)
Jixin Liu, Yanjing Wang, Yifeng Ding
Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applicati…
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…
Achieving while maintaining: A logic of knowing how with intermediate constraints
Yanjun Li, Yanjing Wang
In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve given while maintaining in-between. It generalizes the logic 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…
Knowing Values and Public Inspection
Jan van Eijck, Malvin Gattinger, Yanjing Wang
We present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "public inspection", a new dynamic operator which upda…
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…
On expressive power and class invariance
Yanjing Wang, Francien Dechesne
In computer science, various logical languages are defined to analyze properties of systems. One way to pinpoint the essential differences between those logics is to compare their…