Results 1-9 of 9
 | 
[ABSTRACT] 
[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
会议论文
Li, Yanjun
LOGIC, RATIONALITY, AND INTERACTION (LORI 2015)
2015
[ABSTRACT] Epistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. The properties, perfect recall an...
[KEYWORDS] 
会议论文
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] Logics of space typically involve two sorts of entities, points and sets, and so are amenable for investigation using hybrid modal languages with n...
[KEYWORDS] hybrid logic; two-sorted hybrid language; logic of subset spaces; Gentzen system for hybrid logic
会议论文
Xu, Zhaoqing
2011
[ABSTRACT] David Lewis developed one of the most prominent versions of epistemic contextualism (EC) in Elusive Knowledge [2], which is also known as a version...
[KEYWORDS] Epistemic contextualism; relevant alternatives; elusive knowledge; Lewisian epistemic logic
会议论文
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
会议论文
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] 
Results 1-9 of 9
  • <<
  • 1
  • >>