Risk Balance in Exchange Protocols. - Muhammad Torabi Dashti; Yanjing Wang 001 (ASIAN, 2007)

Refinement of Kripke Models for Dynamics. - Francien Dechesne; Simona Orzan; Yanjing Wang 001 (ICTAC, 2008)

PDL over Accelerated Labeled Transition Systems. - Taolue Chen 001; Jaco van de Pol; Yanjing Wang 001 (TASE, 2008)

Propositional Dynamic Logic as a Logic of Belief Revision. - Jan van Eijck; Yanjing Wang 001 (WoLLIC, 2008)

Verifying epistemic protocols under common knowledge. - Yanjing Wang 001; Lakshmanan Kuppusamy; Jan van Eijck (TARK, 2009)

On expressive power and class invariance - Yanjing Wang 001; Francien Dechesne (CoRR, 2009)

Logic of Information Flow on Communication Channels. - Yanjing Wang 001; Floor Sietsma; Jan van Eijck (DALT, 2010)

Feature extraction and classifier evaluation of EEG for imaginary hand movements. - Xiaoyan Qiao; Yanjing Wang 001; Douzhe Li; Lifeng Tian (ICNC, 2010)

To know or not to know: epistemic approaches to security protocol verification. - Francien Dechesne; Yanjing Wang 001 (Synth., 2010)

Epistemic Modelling and Protocol Dynamics. - Yanjing Wang 001 (2010)

Reasoning about Protocol Change and Knowledge. - Yanjing Wang 001 (ICLA, 2011)

Risk Balance in Optimistic Non-repudiation Protocols. - Mohammad Torabi Dashti; Jan Cederquist; Yanjing Wang 001 (Formal Aspects in Security and Trust, 2011)

On Axiomatizations of PAL. - Yanjing Wang 001 (LORI, 2011)

Hidden protocols. - Hans van Ditmarsch; Sujata Ghosh; Rineke Verbrugge; Yanjing Wang 001 (TARK, 2011)

Composing models. - Jan van Eijck; Floor Sietsma; Yanjing Wang 001 (J. Appl. Non Class. Logics, 2011)

Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. - Yanjing Wang 001; Yanjun Li (Advances in Modal Logic, 2012)

On the Logic of Lying. - Hans van Ditmarsch; Jan van Eijck; Floor Sietsma; Yanjing Wang 001 (Games, Actions and Social Software, 2012)

An Alternative Axiomatization of DEL and Its Applications. - Yanjing Wang 001; Guillaume Aucher (IJCAI, 2013)

Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators. - Yanjing Wang 001; Jie Fan 001 (IJCAI, 2013)

Knowing Whether. - Jie Fan 001; Yanjing Wang 001; Hans van Ditmarsch (CoRR, 2013)

Reasoning About Agent Types and the Hardest Logic Puzzle Ever. - Fenrong Liu; Yanjing Wang 001 (Minds Mach., 2013)

On axiomatizations of public announcement logic. - Yanjing Wang 001; Qinxiang Cao (Synth., 2013)

Almost Necessary. - Jie Fan 001; Yanjing Wang 001; Hans van Ditmarsch (Advances in Modal Logic, 2014)

Conditionally Knowing What. - Yanjing Wang 001; Jie Fan 001 (Advances in Modal Logic, 2014)

Hidden protocols: Modifying our expectations in an evolving world. - Hans van Ditmarsch; Sujata Ghosh; Rineke Verbrugge; Yanjing Wang 001 (Artif. Intell., 2014)

Book Reviews. - Yanjing Wang 001 (Stud Logica, 2014)

Representing Imperfect Information of Procedures with Hyper Models. - Yanjing Wang 001 (ICLA, 2015)

A Logic of Knowing How. - Yanjing Wang 001 (LORI, 2015)

From rules to runs: A dynamic epistemic take on imperfect information games. - Kai Li; Yanjing Wang 001 (CoRR, 2015)

A Dynamic Epistemic Framework for Conformant Planning. - Quan Yu; Yanjun Li; Yanjing Wang 001 (TARK, 2015)

Contingency and Knowing Whether. - Jie Fan 001; Yanjing Wang 001; Hans van Ditmarsch (Rev. Symb. Log., 2015)

"Knowing value'' logic as a normal modal logic. - Tao Gu 002; Yanjing Wang 001 (Advances in Modal Logic, 2016)

Beyond knowing that: a new generation of epistemic logics. - Yanjing Wang 001 (CoRR, 2016)

A Logic of Knowing Why. - Chao Xu; Yanjing Wang 001 (CoRR, 2016)

Knowing Values and Public Inspection. - Jan van Eijck; Malvin Gattinger; Yanjing Wang 001 (ICLA, 2017)

Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints. - Yanjun Li; Yanjing Wang 001 (ICLA, 2017)

Strategically knowing how. - Raul Fervari; Andreas Herzig; Yanjun Li; Yanjing Wang 001 (IJCAI, 2017)

A New Modal Framework for Epistemic Logic. - Yanjing Wang 001 (TARK, 2017)

More for free: a dynamic epistemic framework for conformant planning over transition systems. - Yanjun Li; Quan Yu; Yanjing Wang 001 (J. Log. Comput., 2017)

When Names Are Not Commonly Known: Epistemic Logic with Assignments. - Yanjing Wang 001; Jeremy Seligman (Advances in Modal Logic, 2018)

Bundled Fragments of First-Order Modal Logic: (Un)Decidability. - Anantha Padmanabha; R. Ramanujam 001; Yanjing Wang 001 (FSTTCS, 2018)

Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names. - Jeremy Seligman; Yanjing Wang 001 (CoRR, 2018)

True lies. - Thomas Ågotnes; Hans van Ditmarsch; Yanjing Wang 001 (Synth., 2018)

A logic of goal-directed knowing how. - Yanjing Wang 001 (Synth., 2018)

Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. - Yanjun Li; Yanjing Wang 001 (LORI, 2019)

Weakly Aggregative Modal Logic: Characterization and Interpolation. - Jixin Liu; Yanjing Wang 001; Yifeng Ding (LORI, 2019)

Knowledge-Now and Knowledge-All. - Xinyu Wang 009; Yanjing Wang 001 (LORI, 2019)

A dynamic epistemic framework for reasoning about conformant probabilistic plans. - Yanjun Li; Barteld Kooi; Yanjing Wang 001 (Artif. Intell., 2019)

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. - Malvin Gattinger; Yanjing Wang 001 (TARK, 2019)

Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. - Yifeng Ding; Jixin Liu; Yanjing Wang 001 (LORI, 2021)

Planning-based knowing how: A unified approach. - Yanjun Li; Yanjing Wang 001 (Artif. Intell., 2021)

De Re Updates. - Michael Cohen; Wen Tang; Yanjing Wang 001 (TARK, 2021)

Knowing How to Plan. - Yanjun Li; Yanjing Wang 001 (TARK, 2021)

A logic of knowing why. - Chao Xu; Yanjing Wang 001; Thomas Studer (Synth., 2021)

An Epistemic Interpretation of Tensor Disjunction. - Yanjing Wang 001; Yunsong Wang; Haoyu Wang (AiML, 2022)

Generalized Bundled Fragments for First-Order Modal Logic. - Mo Liu 002; Anantha Padmanabha; R. Ramanujam 001; Yanjing Wang 001 (MFCS, 2022)

Tense Logics over Lattices. - Xiaoyang Wang; Yanjing Wang 001 (WoLLIC, 2022)

Quantifier-free epistemic term-modal logic with assignment operator. - Yanjing Wang 001; Yu Wei; Jeremy Seligman (Ann. Pure Appl. Log., 2022)

Inquisitive logic as an epistemic logic of knowing how. - Haoyu Wang; Yanjing Wang 001; Yunsong Wang (Ann. Pure Appl. Log., 2022)

Are Bundles Good Deals for FOML? - Mo Liu 002; Anantha Padmanabha; Ramaswamy Ramanujam; Yanjing Wang 001 (CoRR, 2022)

Model Theoretical Aspects of Weakly Aggregative Modal Logic. - Jixin Liu; Yifeng Ding; Yanjing Wang 001 (J. Log. Lang. Inf., 2022)

Bisimulations for Knowing How Logics. - Raul Fervari; Fernando R. Velázquez-Quesada; Yanjing Wang 001 (Rev. Symb. Log., 2022)

Mereological Bimodal Logics. - Dazhu Li; Yanjing Wang 001 (Rev. Symb. Log., 2022)

Strong Permission Bundled: First Steps. - Zilu Wang; Yanjing Wang 001 (DEON, 2023)

Epistemic Syllogistic: First Steps. - Yipu Li; Yanjing Wang 001 (TARK, 2023)

Are bundles good deals for first-order modal logic? - Mo Liu 002; Anantha Padmanabha; R. Ramanujam 001; Yanjing Wang 001 (Inf. Comput., 2023)

Point-Set Neighborhood Logic. - Yanjing Wang 001; Junhua Yu (AiML, 2024)

Knowing how to plan about planning: Higher-order and meta-level epistemic planning. - Yanjun Li; Yanjing Wang 001 (Artif. Intell., 2024)

Knowable as Knowing How to Inquire. - Yiting Wang; Yanjing Wang 001 (ICLA, 2025)

Modal logics over lattices. - Xiaoyang Wang; Yanjing Wang 001 (Ann. Pure Appl. Log., 2025)