Results 1-6 of 6
 | 
会议论文
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] 
会议论文
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
Results 1-6 of 6
  • <<
  • 1
  • >>