Picture for Yanjing Wang

Yanjing Wang

Peking University

Epistemic Syllogistic: First Steps

Add code
Jul 11, 2023
Viaarxiv icon

Knowing How to Plan

Add code
Jun 22, 2021
Figure 1 for Knowing How to Plan
Viaarxiv icon

De Re Updates

Add code
Jun 22, 2021
Viaarxiv icon

Weakly Aggregative Modal Logic: Characterization and Interpolation

Add code
Oct 06, 2018
Viaarxiv icon

When Names Are Not Commonly Known: Epistemic Logic with Assignments

Add code
Jun 24, 2018
Viaarxiv icon

Bundled fragments of first-order modal logic: decidability

Add code
Mar 28, 2018
Figure 1 for Bundled fragments of first-order modal logic: decidability
Figure 2 for Bundled fragments of first-order modal logic: decidability
Viaarxiv icon

A New Modal Framework for Epistemic Logic

Add code
Jul 27, 2017
Viaarxiv icon

Strategically knowing how

Add code
May 15, 2017
Figure 1 for Strategically knowing how
Viaarxiv icon

True Lies

Add code
Apr 27, 2017
Figure 1 for True Lies
Viaarxiv icon

A Logic of Knowing Why

Add code
Mar 14, 2017
Viaarxiv icon