Y
Yanjing Wang
Researcher at Peking University
Publications - 82
Citations - 1687
Yanjing Wang is an academic researcher from Peking University. The author has contributed to research in topics: Epistemic modal logic & Modal logic. The author has an hindex of 20, co-authored 70 publications receiving 1353 citations. Previous affiliations of Yanjing Wang include Centrum Wiskunde & Informatica.
Papers
More filters
What is protocol analysis
TL;DR: The following is a transcript of one of the discussion sessions that took place during the Workshop on Games, Action and Social Software at the Lorentz Center in Leiden: "Is logic useful for the analysis of protocols, and if so, how?"
Journal ArticleDOI
On Axiomatizations of Public Announcement Logic
Yanjing Wang,Qinxiang Cao +1 more
TL;DR: By designing non-standard Kripke semantics for the language of PAL, it is shown that the proof system based on this core set of axioms does not completely axiomatize PAL without additional axiom and rules.
Dissertation
Epistemic modelling and protocol dynamics
TL;DR: This dissertation presents a logical investigation of epistemic protocols, focussing on protocol-dynamics, epistemic modelling, and epistemic model checking, and summarizes the most important techniques in the Epistemic Tempo- ral Logic and Dynamic Epistsemic Logic approaches to security protocol verification.
Journal ArticleDOI
Contingency and knowing whether
TL;DR: This paper axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in the previous work.
Journal ArticleDOI
A logic of goal-directed knowing how
TL;DR: A sound and complete proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how” and the logical language is extended to handle knowing how to achieve a goal while maintaining other conditions.