Results 1-11 of 11
 | 
会议论文
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
会议论文
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] 
会议论文
Wang, Xiaoyang; Wang, Yanjing
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022
2022
[ABSTRACT] Lattice theory has close connections with modal logic via algebraic semantics and lattices of modal logics. However, one less explored direction is...
[KEYWORDS] SEMANTICS; 0812 计算机科学与技术(可授工学、理学学位);0303 社会学;0101 哲学;
会议论文
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
会议论文
Zhong, Shengyang
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021)
2021
[ABSTRACT] In the chapter on quantum logic in Volume 6 of Handbook of Philosophical Logic, Dalla Chiara and Giuntini make an interesting observation that ther...
[KEYWORDS] 0812 计算机科学与技术(可授工学、理学学位);0701 数学;0101 哲学;
[ABSTRACT] 
[KEYWORDS] 
Results 1-11 of 11
  • <<
  • 1
  • >>