Results 1-11 of 11
 | 
期刊文章
Fulltext
Ye, Feng
synthese
2010
[ABSTRACT] This article attempts to motivate a new approach to anti-realism (or nominalism) in the philosophy of mathematics. I will explore the strongest cha...
[KEYWORDS] Philosophy of mathematics; Anti-realism; Realism; Naturalism; INDISPENSABILITY
期刊文章
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] Background and objectives: Intrusive memories in traumatized individuals are often triggered by stimuli that are perceptually (rather than conceptu...
[KEYWORDS] Trauma; Posttraumatic stress disorder; Trigger stimuli; Perceptual stimuli; Conceptual stimuli; Associative learning; AUTOBIOGRAPHICAL MEMORIES; NEURAL MECHANISMS; INTRUSIVE IMAGES; PTSD SYMPTOMS; SURVIVORS; WORDS
期刊文章
Wu, Guosheng; Qiu, Hui
2013
[ABSTRACT] Since the 1950s China's popular science publishing has been the business of the government, and subject to its will. China adopted a system of...
[KEYWORDS] China; One Hundred Thousand Whys; popular science publishing; Unmoved Mover Series
期刊文章
Fulltext
Wang, Yanjing; Cao, Qinxiang
synthese
2013
[ABSTRACT] In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a "cor...
[KEYWORDS] Public announcement logic; Reduction axioms; Composition axiom; Dynamic epistemic logic; Completeness; Epistemic temporal logic; KNOWLEDGE
期刊文章
Xu, Linjia; Huang, Biaowen; Wu, Guosheng
PUBLIC UNDERSTANDING OF SCIENCE
2015
[ABSTRACT] This study attempted to illuminate the cause and relation between government, scholars, disciplines, and societal aspects, presenting data from a c...
[KEYWORDS] China; content analysis; science communication; science popularization; HEALTH-COMMUNICATION
期刊文章
Maier, John
LINGUISTICS AND PHILOSOPHY
2016
[ABSTRACT] I propose a semantics for a class of English predicates characteristically associated with possibility. The central idea is that such predicates ar...
[KEYWORDS] Modality; Dispositions; Ordering semantics; DISPOSITIONS; CONDITIONALS
期刊文章
Rockmore, Tom
STUDIES IN EAST EUROPEAN THOUGHT
2016
[ABSTRACT] Philosophy, which does not begin again, always unfolds against the background of the ongoing philosophical tradition, which it needs to interpret. ...
[KEYWORDS] Heidegger; National Socialism; the Heidegger Reception; Being and Time; Schwarze Hefte (The Black Notebooks)
期刊文章
Agotnes, Thomas; van Ditmarsch, Hans; Wang, Yanjing
SYNTHESE
2018
[ABSTRACT] A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a form...
[KEYWORDS] DYNAMICS; LOGIC
期刊文章
何怀宏
探索与争鸣
2019-09-20
[ABSTRACT] 
[KEYWORDS] 
期刊文章
Fulltext
Zhou, Beihai; Mao, Yi
synthese
2010
[ABSTRACT] This article proposes a four-layer semantic structure for common nouns. Each layer matches up with a semantic entity of a certain type in Montague&...
[KEYWORDS] Sense; Reference; Intension; Concept
Results 1-11 of 11
  • <<
  • 1
  • >>