Yanjing Wang
Identifiers
- name variant Yanjing Wang 0.60 · backfill
Papers (14)
- When Names Are Not Commonly Known: Epistemic Logic with Assignments cs.AI · 2018 · author #1
- Weakly Aggregative Modal Logic: Characterization and Interpolation (new version) cs.LO · 2018 · author #2
- Bundled fragments of first-order modal logic: (un)decidability cs.LO · 2018 · author #3
- Strategically knowing how cs.AI · 2017 · author #4
- Achieving while maintaining: A logic of knowing how with intermediate constraints cs.LO · 2016 · author #2
- A Logic of Knowing Why cs.AI · 2016 · author #2
- Knowing Values and Public Inspection cs.LO · 2016 · author #3
- True Lies cs.AI · 2016 · author #3
- Beyond knowing that: a new generation of epistemic logics cs.AI · 2016 · author #1
- "Knowing value" logic as a normal modal logic cs.AI · 2016 · author #2
- From rules to runs: A dynamic epistemic take on imperfect information games cs.AI · 2015 · author #2
- A Logic of Knowing How cs.AI · 2015 · author #1
- Knowing Whether cs.AI · 2013 · author #2
- On expressive power and class invariance cs.LO · 2009 · author #1
Mentions
Frequent Coauthors
- Hans van Ditmarsch 2 shared papers
- Yanjun Li 2 shared papers
- Anantha Padmanabha 1 shared papers
- Andreas Herzig 1 shared papers
- Chao Xu 1 shared papers
- Francien Dechesne 1 shared papers
- Jan van Eijck 1 shared papers
- Jeremy Seligman 1 shared papers
- Jie Fan 1 shared papers
- Jixin Liu 1 shared papers
- Kai Li 1 shared papers
- Malvin Gattinger 1 shared papers
- Raul Fervari 1 shared papers
- R. Ramanujam 1 shared papers
- Tao Gu 1 shared papers
- Thomas {\AA}gotnes 1 shared papers
- Thomas Studer 1 shared papers
- Yifeng Ding 1 shared papers