Results 1-6 of 6
[ABSTRACT] In this paper, we develop an epistemic logic for specifying and reasoning about information flow on the underlying communication channels. By combi...
[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
[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
[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
[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
[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