Results 1-20 of 91
 | 
[ABSTRACT] Even though we assume that human rights(or human rights claims) as such are of universal validity in some sense,there still remains to be some rema...
[KEYWORDS] moral; universal; tradition; figure; claims; something; awareness; validity; embodied; assume
[ABSTRACT] Marx's philosophy includes three dimensions of critique:the critique of metaphysics which is also the major premise from which Marx pushes the...
[KEYWORDS] critique of metaphysics; capital logic; totality; social critique theory
[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] 
[ABSTRACT] 
[KEYWORDS] 
会议论文
Mao, Yi; Zhou, Beihai
20th Annual Conference of the Japanese Society for Artificial Intelligence, JSAI 2006 Conference and Workshops
2007
[ABSTRACT] We present a formalism of metaphor that is based on a newly developed semantic interpretation of concept in the line of Montague's type theory...
[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
会议论文
北京论坛(2014)文明的和谐与共同繁荣——中国与世界:传统、现实与未来
2014
[ABSTRACT] Rationality and emotions are separated by their diverse grounds. The grounds of rationality are truth, publicity and validity of propositions withi...
[KEYWORDS] rationality; Rational; grounds; cooperation; feeling; ethical; truth; harmony; conflict; empathy; rationality; Rational; grounds; cooperation; feeling; ethical; truth; harmony; conflict; empathy
会议论文
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
会议论文
Zhou, Beihai; Jia, Qing
2nd Asian Workshop on Philosophical Logic
2015
[ABSTRACT] Relational semantics is one of the most popular forms of semantics for relevance logic. However, this semantics, especially the ternary relation R ...
[KEYWORDS] Inference semantics; Relational semantics; Relevance logic; ENTAILMENT
会议论文
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] 
[ABSTRACT] 虽然中文学界引介康德已逾百年,然而康德文本所蕴含的陌生性仍然是我们今天在深入探究其哲学理论时不得不首先揭示和克服的障碍。这种陌生性不仅展示在我们不同版本的哲学教科书中,而且展示在20世纪以来中文学界关于界定康德哲学基本特征之transzendental概念的解释和翻译的争论中。具体而言,这些争...
[KEYWORDS] transzendental(先验); transzendent(超验); a priori(先天); 反思
会议论文
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
[ABSTRACT] The practice of the Scientific Outlook on Development is a strategic choice to enforce the transformation of the development modes based on China&a...
[KEYWORDS] the Scientific Outlook on Development; Ecology; Approach
会议论文
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
[ABSTRACT] 
[KEYWORDS] 
[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] 
会议论文
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
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] 
Results 1-20 of 91