Results 1-20 of 32
 | 
[ABSTRACT] In his seminal work [Plaza, 1989], Plaza proposed the public announcement logic (PAL), which is considered as the pilot logic in the field of dynam...
[KEYWORDS] 
会议论文
Wang, Yanjing
LOGIC, RATIONALITY, AND INTERACTION (LORI 2015)
2015
[ABSTRACT] In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguist...
[KEYWORDS] ABILITY
会议论文
Wang, Yanjing; Fan, Jie
2nd Asian Workshop on Philosophical Logic
2015
[ABSTRACT] In this paper, we introduce and formalize the concept of epistemic informativeness (EI) of statements: the set of new propositions that an agent co...
[KEYWORDS] Cognitive value; Epistemic informativeness; Public announcement logic; Common knowledge; Frege's puzzle; SEMANTICS
会议论文
van Eijck, Jan; Gattinger, Malvin; Wang, Yanjing
7th Indian Conference on Logic and Its Applications (ICLA)
2017
[ABSTRACT] We present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "publi...
[KEYWORDS] Knowing what; Bisimulation; Public announcement logic; INDEPENDENCE
会议论文
Wang, Yanjing
2011
[ABSTRACT] In the literature, different axiomatizations of Public Announcement Logic (PAL) were proposed. Most of these axiomatizations share a 'core set...
[KEYWORDS] LOGICS
[ABSTRACT] In everyday life, people get lost even when they have the map: they simply may not know where they are in the map. However, when moving forward the...
[KEYWORDS] 
会议论文
Van Ditmarsch, Hans; Ghosh, Sujata; Verbrugge, Rineke; Wang, Yanjing
2011
[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] 
会议论文
Wang, Yanjing
2011
[ABSTRACT] In social interactions, protocols govern our behaviour and assign meaning to actions. In this paper, we investigate the dynamics of protocols and t...
[KEYWORDS] 
会议论文
Wang, Yanjing; Fan, Jie
2014
[ABSTRACT] Classic epistemic logic focuses on propositional knowledge expressed by \knowing that' operators. However, there are various types of knowledg...
[KEYWORDS] 
会议论文
Wang, Yanjing; Aucher, Guillaume
2013
[ABSTRACT] In this paper, we provide a new axiomatization of the event-model-based Dynamic Epistemic Logic, based on the completeness proof method proposed in...
[KEYWORDS] 
会议论文
Torabi Dashti, Mohammad; Cederquist, Jan; Wang, Yanjing
2012
[ABSTRACT] We investigate how the behaviors of malicious trusted parties affect participants of optimistic non-repudiation protocols. We introduce a notion of...
[KEYWORDS] 
会议论文
Li, Yanjun; Wang, Yanjing
7th Indian Conference on Logic and Its Applications (ICLA)
2017
[ABSTRACT] In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve. given. while maintaining. in-between. It g...
[KEYWORDS] 
期刊文章
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
[ABSTRACT] When reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5lik...
[KEYWORDS] 
期刊文章
Fulltext
Wang, Yanjing
2014
[ABSTRACT] 
[KEYWORDS] 
会议论文
Wang, Yanjing
16th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017
2017
[ABSTRACT] Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. Th...
[KEYWORDS] 
期刊文章
Lau, Tszyuen; Wang, Yanjing
PHILOSOPHICAL FORUM
2016
[ABSTRACT] 
[KEYWORDS] 
期刊文章
Li, Yanjun; Yu, Quan; Wang, Yanjing
JOURNAL OF LOGIC AND COMPUTATION
2017
[ABSTRACT] In this article, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We generalize the...
[KEYWORDS] Conformant planning; dynamic logic; epistemic logic; modal logic; SYMBOLIC MODEL CHECKING; SEARCH; LOGICS
期刊文章
Li, Yanjun; Wang, Yanjing
ARTIFICIAL INTELLIGENCE
2021-07
[ABSTRACT] Various logical notions of know-how have been recently proposed and studied in the literature based on different types of epistemic planning in dif...
[KEYWORDS] DYNAMIC EPISTEMIC FRAMEWORK; LOGIC; 0812 计算机科学与技术(可授工学、理学学位);
期刊文章
Li, Yanjun; Kooi, Barteld; Wang, Yanjing
ARTIFICIAL INTELLIGENCE
2019
[ABSTRACT] In this paper, we introduce a probabilistic dynamic epistemic logical framework that can be applied for reasoning and verifying conformant probabil...
[KEYWORDS] Conformant probabilistic planning; Dynamic epistemic logic
Results 1-20 of 32