Παρακολούθηση
Yanjing Wang (王彦晶)
Yanjing Wang (王彦晶)
Professor of Logic, Peking University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα pku.edu.cn - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
On axiomatizations of public announcement logic
Y Wang, Q Cao
Synthese 190 (S1), 103-134, 2013
1282013
Contingency and Knowing Whether.
J Fan, Y Wang, H Van Ditmarsch
The Review of Symbolic Logic 8 (1), 75-107, 2015
1112015
Epistemic logic
R Rendsvig, J Symons, Y Wang
The Stanford Encyclopedia of Philosophy (Winter 2023 Ed.), 2023
92*2023
Beyond knowing that: A new generation of epistemic logics
Y Wang
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, 499-533, 2018
802018
A logic of goal-directed knowing how
Y Wang
Synthese 195 (10), 4419-4439, 2018
782018
On the logic of lying
H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang
Games, Actions and Social Software: Multidisciplinary Aspects, 41-72, 2012
682012
Epistemic modelling and protocol dynamics
Y Wang
Universiteit van Amsterdam, 2010
602010
Strategically knowing how
R Fervari, A Herzig, Y Li, Y Wang
IJCAI 2017, 2017
582017
A logic of knowing how
Y Wang
LORI 2015, 392-405, 2015
552015
Almost Necessary.
J Fan, Y Wang, H Van Ditmarsch
Advances in modal logic 2014, 178-196, 2014
512014
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators
Y Wang, J Fan
IJCAI 2013, 2013
452013
Conditionally knowing what
Y Wang, J Fan
Advances in Modal Logic 2014, 2014
352014
Propositional dynamic logic as a logic of belief revision
J Van Eijck, Y Wang
WoLLIC 2008, 136-148, 2008
352008
"Knowing value" logic as a normal modal logic
T Gu, Y Wang
Advances in Modal Logic 2016, 2016
332016
A logic of knowing why
C Xu, Y Wang, T Studer
Synthese 198, 1259–1285, 2021
322021
A new modal framework for epistemic logic
Y Wang
TARK 2017, 2017
322017
To know or not to know: epistemic approaches to security protocol verification
F Dechesne, Y Wang
Synthese 177, 51-76, 2010
312010
Achieving While Maintaining
Y Li, Y Wang
ICLA 2015, 154-167, 2017
28*2017
Hidden protocols: Modifying our expectations in an evolving world
H Van Ditmarsch, S Ghosh, R Verbrugge, Y Wang
Artificial Intelligence 208, 18-40, 2014
27*2014
Logic of information flow on communication channels
Y Wang, F Sietsma, J Van Eijck
DALT 2010, 130-147, 2010
272010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20