Results 1-6 of 6
 | 
会议论文
Wang, Yanjing; Sietsma, Floor; van Eijck, Jan
2011
[ABSTRACT] In this paper, we develop an epistemic logic for specifying and reasoning about information flow on the underlying communication channels. By combi...
[KEYWORDS] KNOWLEDGE
期刊文章
Fulltext
van Ditmarsch, Hans; Ghosh, Sujata; Verbrugge, Rineke; Wang, Yanjing
人工智能
2014
[ABSTRACT] When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their ac...
[KEYWORDS] Protocols; Dynamic epistemic logic; Guarded automata; KNOWLEDGE; COMMUNICATION; LOGICS
期刊文章
Fulltext
Dechesne, Francien; Wang, Yanjing
synthese
2010
[ABSTRACT] Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been sever...
[KEYWORDS] Security protocols; Dynamic epistemic logic; Epistemic temporal logic; Interpreted systems; Verification; MULTIAGENT SYSTEMS; MODEL CHECKING; EQUATIONAL THEORIES; KNOWLEDGE; AUTHENTICATION; CRYPTOGRAPHY; ENCRYPTION; REFINEMENT; ANONYMITY; SECRECY
期刊文章
Fulltext
Wang, Yanjing; Cao, Qinxiang
synthese
2013
[ABSTRACT] In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a "cor...
[KEYWORDS] Public announcement logic; Reduction axioms; Composition axiom; Dynamic epistemic logic; Completeness; Epistemic temporal logic; KNOWLEDGE
期刊文章
Fan, Jie; Wang, Yanjing; Van Ditmarsch, Hans
2015
[ABSTRACT] A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, 'a proposition is noncontingent...
[KEYWORDS] COMMUNICATION; LOGIC; ANNOUNCEMENT; KNOWLEDGE
期刊文章
Schoenherr, Julius; Gomez, Javiera Perez
PHILOSOPHICAL STUDIES
2021-06
[ABSTRACT] This paper defends the claim that pragmatic encroachment-the idea that knowledge is sensitive to the practical stakes of believing-can explain a di...
[KEYWORDS] SUBJECT-SENSITIVE INVARIANTISM; KNOWLEDGE; MICROAGGRESSIONS; CENTRALITY; 0101 哲学;0502 外国语言文学;
Results 1-6 of 6
  • <<
  • 1
  • >>