23 citations · 50 across the 6 of their papers we have counts for
9 papers
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…