Yanjing Wang

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 50

Top Venues

University of Amsterdam, Netherlands (PHD)

Education History

University of Amsterdam, Netherlands

PHD

Publications

Zilu Wang, Yanjing Wang
Strong Permission Bundled: First Steps. DEON (2023)
Yipu Li, Yanjing Wang
Epistemic Syllogistic: First Steps. TARK (2023)
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Are bundles good deals for first-order modal logic? Inf. Comput. 293 (2023)
Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang
Bisimulations for Knowing How Logics. Rev. Symb. Log. 15 (2) (2022)
Dazhu Li, Yanjing Wang
Mereological Bimodal Logics. Rev. Symb. Log. 15 (4) (2022)
Jixin Liu, Yifeng Ding, Yanjing Wang
Model Theoretical Aspects of Weakly Aggregative Modal Logic. J. Log. Lang. Inf. 31 (2) (2022)
Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang
Are Bundles Good Deals for FOML? CoRR (2022)
Xiaoyang Wang, Yanjing Wang
Tense Logics over Lattices. WoLLIC (2022)
Yanjing Wang, Yu Wei, Jeremy Seligman
Quantifier-free epistemic term-modal logic with assignment operator. Ann. Pure Appl. Log. 173 (3) (2022)
Haoyu Wang, Yanjing Wang, Yunsong Wang
Inquisitive logic as an epistemic logic of knowing how. Ann. Pure Appl. Log. 173 (10) (2022)
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Generalized Bundled Fragments for First-Order Modal Logic. MFCS (2022)
Haoyu Wang, Yanjing Wang, Yunsong Wang
Inquisitive Logic as an Epistemic Logic of Knowing How. CoRR (2022)
Yanjing Wang, Yunsong Wang, Haoyu Wang
An Epistemic Interpretation of Tensor Disjunction. AiML (2022)
Haoyu Wang, Yanjing Wang, Yunsong Wang
An Epistemic Interpretation of Tensor Disjunction. CoRR (2022)
Yanjun Li, Yanjing Wang
Planning-based knowing how: A unified approach. Artif. Intell. 296 (2021)
Yanjun Li, Yanjing Wang
Knowing How to Plan. TARK (2021)
Michael Cohen, Wen Tang, Yanjing Wang
De Re Updates. TARK (2021)
Yifeng Ding, Jixin Liu, Yanjing Wang
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. LORI (2021)
Chao Xu, Yanjing Wang, Thomas Studer
A logic of knowing why. Synth. 198 (2) (2021)
Xinyu Wang, Yanjing Wang
Knowledge-Now and Knowledge-All. LORI (2019)
Jixin Liu, Yanjing Wang, Yifeng Ding
Weakly Aggregative Modal Logic: Characterization and Interpolation. LORI (2019)
Yanjun Li, Yanjing Wang
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. LORI (2019)
Yanjun Li, Barteld Kooi, Yanjing Wang
A dynamic epistemic framework for reasoning about conformant probabilistic plans. Artif. Intell. 268 (2019)
Malvin Gattinger, Yanjing Wang
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. TARK (2019)
Jeremy Seligman, Yanjing Wang
Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names. CoRR (2018)
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Bundled Fragments of First-Order Modal Logic: (Un)Decidability. FSTTCS (2018)
Yanjing Wang, Jeremy Seligman
When Names Are Not Commonly Known: Epistemic Logic with Assignments. Advances in Modal Logic (2018)
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Bundled fragments of first-order modal logic: (un)decidability. CoRR (2018)
Yanjing Wang
A logic of goal-directed knowing how. Synth. 195 (10) (2018)
Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
True lies. Synth. 195 (10) (2018)
Yanjun Li, Quan Yu, Yanjing Wang
More for free: a dynamic epistemic framework for conformant planning over transition systems. J. Log. Comput. 27 (8) (2017)
Jan van Eijck, Malvin Gattinger, Yanjing Wang
Knowing Values and Public Inspection. ICLA (2017)
Yanjun Li, Yanjing Wang
Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints. ICLA (2017)
Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
Strategically knowing how. IJCAI (2017)
Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
Strategically knowing how. CoRR (2017)
Yanjing Wang
A New Modal Framework for Epistemic Logic. TARK (2017)
Yanjing Wang
A New Modal Framework for Epistemic Logic. CoRR (2017)
Yanjun Li, Yanjing Wang
Achieving while maintaining: A logic of knowing how with intermediate constraints. CoRR (2016)
Jan van Eijck, Malvin Gattinger, Yanjing Wang
Knowing Values and Public Inspection. CoRR (2016)
Tao Gu, Yanjing Wang
"Knowing value'' logic as a normal modal logic. Advances in Modal Logic (2016)
Yanjing Wang
Beyond knowing that: a new generation of epistemic logics. CoRR (2016)
Tao Gu, Yanjing Wang
"Knowing value" logic as a normal modal logic. CoRR (2016)
Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
True Lies. CoRR (2016)
Chao Xu, Yanjing Wang
A Logic of Knowing Why. CoRR (2016)
Yanjing Wang
Representing Imperfect Information of Procedures with Hyper Models. ICLA (2015)
Quan Yu, Yanjun Li, Yanjing Wang
A Dynamic Epistemic Framework for Conformant Planning. TARK (2015)
Jie Fan, Yanjing Wang, Hans van Ditmarsch
Contingency and Knowing Whether. Rev. Symb. Log. 8 (1) (2015)
Yanjing Wang
A Logic of Knowing How. LORI (2015)
Yanjing Wang
A Logic of Knowing How. CoRR (2015)
Kai Li, Yanjing Wang
From rules to runs: A dynamic epistemic take on imperfect information games. CoRR (2015)
Yanjing Wang, Jie Fan
Conditionally Knowing What. Advances in Modal Logic (2014)
Yanjing Wang
Book Reviews. Stud Logica 102 (3) (2014)
Jie Fan, Yanjing Wang, Hans van Ditmarsch
Almost Necessary. Advances in Modal Logic (2014)
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. 208 (2014)
Yanjing Wang, Guillaume Aucher
An Alternative Axiomatization of DEL and Its Applications. IJCAI (2013)
Yanjing Wang, Jie Fan
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators. IJCAI (2013)
Fenrong Liu, Yanjing Wang
Reasoning About Agent Types and the Hardest Logic Puzzle Ever. Minds Mach. 23 (1) (2013)
Yanjing Wang, Qinxiang Cao
On axiomatizations of public announcement logic. Synth. 190 (Supplement-1) (2013)
Jie Fan, Yanjing Wang, Hans van Ditmarsch
Knowing Whether. CoRR (2013)
Yanjing Wang, Yanjun Li
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. Advances in Modal Logic (2012)
Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang
Risk Balance in Optimistic Non-repudiation Protocols. Formal Aspects in Security and Trust (2011)
Yanjing Wang
Reasoning about Protocol Change and Knowledge. ICLA (2011)
Yanjing Wang
On Axiomatizations of PAL. LORI (2011)
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
Hidden protocols. TARK (2011)
Jan van Eijck, Floor Sietsma, Yanjing Wang
Composing models. J. Appl. Non Class. Logics 21 (3-4) (2011)
Xiaoyan Qiao, Yanjing Wang, Douzhe Li, Lifeng Tian
Feature extraction and classifier evaluation of EEG for imaginary hand movements. ICNC (2010)
Yanjing Wang, Floor Sietsma, Jan van Eijck
Logic of information flow on communication channels. AAMAS (2010)
Yanjing Wang, Floor Sietsma, Jan van Eijck
Logic of Information Flow on Communication Channels. DALT (2010)
Francien Dechesne, Yanjing Wang
To know or not to know: epistemic approaches to security protocol verification. Synth. 177 (Supplement-1) (2010)
Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck
Verifying epistemic protocols under common knowledge. TARK (2009)
Yanjing Wang, Francien Dechesne
On expressive power and class invariance CoRR (2009)
Francien Dechesne, Simona Orzan, Yanjing Wang
Refinement of Kripke Models for Dynamics. ICTAC (2008)
Jan van Eijck, Yanjing Wang
Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC (2008)
Taolue Chen, Jaco van de Pol, Yanjing Wang
PDL over Accelerated Labeled Transition Systems. TASE (2008)
Muhammad Torabi Dashti, Yanjing Wang
Risk Balance in Exchange Protocols. ASIAN (2007)

Yanjing Wang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yanjing Wang