default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYanjing Wang 0001
Person information
- affiliation: Peking University, Department of Philosophy, China
Other persons with the same name
- Yanjing Wang 0002 — Beihang University, Beijing, China
- Yanjing Wang 0003
![[0000-0001-6826-1635]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-6826-1635")
— Shanghai Jiao Tong University, School of Sciences and Biotechnology, State Key Laboratory of Microbial Metabolism, China - Yanjing Wang 0004 — Jilin University, Third Hospital, Department of Radiology, Changchun, China
- Yanjing Wang 0005 — Chinese Academy of Sciences, Changchun Institute of Optics, Fine Mechanics and Physics, China
- Yanjing Wang 0006 — Beijing DHHB Power Science and Technology Co., Ltd., China
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j20]Yanjun Li, Yanjing Wang:
Knowing how to plan about planning: Higher-order and meta-level epistemic planning. Artif. Intell. 337: 104233 (2024)- [c40]Yanjing Wang, Junhua Yu:
Point-Set Neighborhood Logic. AiML 2024: 697-718 - 2023
- [j19]Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang:
Are bundles good deals for first-order modal logic? Inf. Comput. 293: 105062 (2023) - [c39]Zilu Wang, Yanjing Wang:
Strong Permission Bundled: First Steps. DEON 2023: 217-234 - [c38]Yipu Li, Yanjing Wang:
Epistemic Syllogistic: First Steps. TARK 2023: 392-406 - 2022
- [j18]Yanjing Wang, Yu Wei, Jeremy Seligman:
Quantifier-free epistemic term-modal logic with assignment operator. Ann. Pure Appl. Log. 173(3): 103071 (2022) - [j17]Haoyu Wang, Yanjing Wang, Yunsong Wang:
Inquisitive logic as an epistemic logic of knowing how. Ann. Pure Appl. Log. 173(10): 103145 (2022) - [j16]Jixin Liu, Yifeng Ding, Yanjing Wang:
Model Theoretical Aspects of Weakly Aggregative Modal Logic. J. Log. Lang. Inf. 31(2): 261-286 (2022) - [j15]Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang:
Bisimulations for Knowing How Logics. Rev. Symb. Log. 15(2): 450-486 (2022) - [j14]Dazhu Li, Yanjing Wang:
Mereological Bimodal Logics. Rev. Symb. Log. 15(4): 823-858 (2022) - [c37]Yanjing Wang, Yunsong Wang, Haoyu Wang:
An Epistemic Interpretation of Tensor Disjunction. AiML 2022: 719-739 - [c36]Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang:
Generalized Bundled Fragments for First-Order Modal Logic. MFCS 2022: 70:1-70:14 - [c35]Xiaoyang Wang, Yanjing Wang:
Tense Logics over Lattices. WoLLIC 2022: 70-87 - [i17]Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang:
Are Bundles Good Deals for FOML? CoRR abs/2202.01581 (2022) - [i16]Haoyu Wang, Yanjing Wang, Yunsong Wang:
Inquisitive Logic as an Epistemic Logic of Knowing How. CoRR abs/2203.12253 (2022) - [i15]Haoyu Wang, Yanjing Wang, Yunsong Wang:
An Epistemic Interpretation of Tensor Disjunction. CoRR abs/2203.13970 (2022) - 2021
- [j13]Yanjun Li, Yanjing Wang:
Planning-based knowing how: A unified approach. Artif. Intell. 296: 103487 (2021) - [j12]Chao Xu, Yanjing Wang, Thomas Studer:
A logic of knowing why. Synth. 198(2): 1259-1285 (2021) - [c34]Yifeng Ding, Jixin Liu, Yanjing Wang:
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. LORI 2021: 58-72 - [c33]Michael Cohen, Wen Tang, Yanjing Wang:
De Re Updates. TARK 2021: 103-117 - [c32]Yanjun Li, Yanjing Wang:
Knowing How to Plan. TARK 2021: 233-247
2010 – 2019
- 2019
- [j11]Yanjun Li, Barteld Kooi, Yanjing Wang:
A dynamic epistemic framework for reasoning about conformant probabilistic plans. Artif. Intell. 268: 54-84 (2019) - [c31]Yanjun Li, Yanjing Wang:
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. LORI 2019: 126-139 - [c30]Jixin Liu, Yanjing Wang, Yifeng Ding:
Weakly Aggregative Modal Logic: Characterization and Interpolation. LORI 2019: 153-167 - [c29]Xinyu Wang, Yanjing Wang:
Knowledge-Now and Knowledge-All. LORI 2019: 399-412 - [c28]Malvin Gattinger, Yanjing Wang:
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. TARK 2019: 206-220 - 2018
- [j10]Yanjing Wang:
A logic of goal-directed knowing how. Synth. 195(10): 4419-4439 (2018) - [j9]Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang:
True lies. Synth. 195(10): 4581-4615 (2018) - [c27]Yanjing Wang, Jeremy Seligman:
When Names Are Not Commonly Known: Epistemic Logic with Assignments. Advances in Modal Logic 2018: 611-628 - [c26]Anantha Padmanabha, R. Ramanujam, Yanjing Wang:
Bundled Fragments of First-Order Modal Logic: (Un)Decidability. FSTTCS 2018: 43:1-43:20 - [i14]Anantha Padmanabha, R. Ramanujam, Yanjing Wang:
Bundled fragments of first-order modal logic: (un)decidability. CoRR abs/1803.10508 (2018) - [i13]Jeremy Seligman, Yanjing Wang:
Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names. CoRR abs/1805.03852 (2018) - 2017
- [j8]Yanjun Li, Quan Yu, Yanjing Wang:
More for free: a dynamic epistemic framework for conformant planning over transition systems. J. Log. Comput. 27(8): 2383-2410 (2017) - [c25]Jan van Eijck, Malvin Gattinger, Yanjing Wang:
Knowing Values and Public Inspection. ICLA 2017: 77-90 - [c24]Yanjun Li, Yanjing Wang:
Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints. ICLA 2017: 154-167 - [c23]Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang:
Strategically knowing how. IJCAI 2017: 1031-1038 - [c22]Yanjing Wang:
A New Modal Framework for Epistemic Logic. TARK 2017: 515-534 - [i12]Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang:
Strategically knowing how. CoRR abs/1705.05254 (2017) - [i11]Yanjing Wang:
A New Modal Framework for Epistemic Logic. CoRR abs/1707.08764 (2017) - 2016
- [c21]Tao Gu, Yanjing Wang:
"Knowing value'' logic as a normal modal logic. Advances in Modal Logic 2016: 362-381 - [i10]Tao Gu, Yanjing Wang:
"Knowing value" logic as a normal modal logic. CoRR abs/1604.08709 (2016) - [i9]Yanjing Wang:
Beyond knowing that: a new generation of epistemic logics. CoRR abs/1605.01995 (2016) - [i8]Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang:
True Lies. CoRR abs/1606.08333 (2016) - [i7]Jan van Eijck, Malvin Gattinger, Yanjing Wang:
Knowing Values and Public Inspection. CoRR abs/1609.03338 (2016) - [i6]Chao Xu, Yanjing Wang:
A Logic of Knowing Why. CoRR abs/1609.06405 (2016) - [i5]Yanjun Li, Yanjing Wang:
Achieving while maintaining: A logic of knowing how with intermediate constraints. CoRR abs/1610.05064 (2016) - 2015
- [j7]Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Contingency and Knowing Whether. Rev. Symb. Log. 8(1): 75-107 (2015) - [c20]Yanjing Wang:
Representing Imperfect Information of Procedures with Hyper Models. ICLA 2015: 218-231 - [c19]Yanjing Wang:
A Logic of Knowing How. LORI 2015: 392-405 - [c18]Quan Yu, Yanjun Li, Yanjing Wang:
A Dynamic Epistemic Framework for Conformant Planning. TARK 2015: 298-318 - [i4]Yanjing Wang:
A Logic of Knowing How. CoRR abs/1505.06651 (2015) - [i3]Kai Li, Yanjing Wang:
From rules to runs: A dynamic epistemic take on imperfect information games. CoRR abs/1512.02078 (2015) - 2014
- [j6]Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang:
Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. 208: 18-40 (2014) - [j5]Yanjing Wang:
Book Reviews. Stud Logica 102(3): 647-654 (2014) - [c17]Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Almost Necessary. Advances in Modal Logic 2014: 178-196 - [c16]Yanjing Wang, Jie Fan:
Conditionally Knowing What. Advances in Modal Logic 2014: 569-587 - 2013
- [j4]Fenrong Liu, Yanjing Wang:
Reasoning About Agent Types and the Hardest Logic Puzzle Ever. Minds Mach. 23(1): 123-161 (2013) - [j3]Yanjing Wang, Qinxiang Cao:
On axiomatizations of public announcement logic. Synth. 190(Supplement-1): 103-134 (2013) - [c15]Yanjing Wang, Guillaume Aucher:
An Alternative Axiomatization of DEL and Its Applications. IJCAI 2013: 1139-1146 - [c14]Yanjing Wang, Jie Fan:
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators. IJCAI 2013: 1147-1154 - [i2]Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Knowing Whether. CoRR abs/1312.0144 (2013) - 2012
- [c13]Yanjing Wang, Yanjun Li:
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. Advances in Modal Logic 2012: 559-580 - [p1]Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang:
On the Logic of Lying. Games, Actions and Social Software 2012: 41-72 - 2011
- [j2]Jan van Eijck, Floor Sietsma, Yanjing Wang:
Composing models. J. Appl. Non Class. Logics 21(3-4): 397-425 (2011) - [c12]Yanjing Wang:
Reasoning about Protocol Change and Knowledge. ICLA 2011: 189-203 - [c11]Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang:
Risk Balance in Optimistic Non-repudiation Protocols. Formal Aspects in Security and Trust 2011: 263-277 - [c10]Yanjing Wang:
On Axiomatizations of PAL. LORI 2011: 314-327 - [c9]Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang:
Hidden protocols. TARK 2011: 65-74 - 2010
- [b1]Yanjing Wang:
Epistemic Modelling and Protocol Dynamics. University of Amsterdam, Netherlands, 2010 - [j1]Francien Dechesne, Yanjing Wang:
To know or not to know: epistemic approaches to security protocol verification. Synth. 177(Supplement-1): 51-76 (2010) - [c8]Yanjing Wang, Floor Sietsma, Jan van Eijck:
Logic of information flow on communication channels. AAMAS 2010: 1447-1448 - [c7]Yanjing Wang, Floor Sietsma, Jan van Eijck:
Logic of Information Flow on Communication Channels. DALT 2010: 130-147 - [c6]Xiaoyan Qiao, Yanjing Wang, Douzhe Li, Lifeng Tian:
Feature extraction and classifier evaluation of EEG for imaginary hand movements. ICNC 2010: 2112-2116
2000 – 2009
- 2009
- [c5]Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck:
Verifying epistemic protocols under common knowledge. TARK 2009: 257-266 - [i1]Yanjing Wang, Francien Dechesne:
On expressive power and class invariance. CoRR abs/0905.4332 (2009) - 2008
- [c4]Francien Dechesne, Simona Orzan, Yanjing Wang:
Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125 - [c3]Taolue Chen, Jaco van de Pol, Yanjing Wang:
PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200 - [c2]Jan van Eijck, Yanjing Wang:
Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148 - 2007
- [c1]Muhammad Torabi Dashti, Yanjing Wang:
Risk Balance in Exchange Protocols. ASIAN 2007: 70-77
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
