Results 1-13 of 13
 | 
[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] 
会议论文
Wang, Yanjing; Aucher, Guillaume
2013
[ABSTRACT] In this paper, we provide a new axiomatization of the event-model-based Dynamic Epistemic Logic, based on the completeness proof method proposed in...
[KEYWORDS] 
[ABSTRACT] I present a brief review on space and time in different periods of physics, and then talk on the nature of space and time from physical arguments. ...
[KEYWORDS] Space; time; Lorentz violation; INVARIANCE VIOLATION; GENERAL PRINCIPLE; LENGTH SCALE; RELATIVITY; FIELD
期刊文章
Fulltext
Zhou, Lingli; Ma, Bo-Qiang
astroparticle physics
2013
[ABSTRACT] We make a reanalysis on the issue of neutrino speed anomaly by taking into account the newly reported data from the ICARUS experiment and other CNG...
[KEYWORDS] Neutrino speed; Light speed; Lorentz violation; Physical invariance; GENERAL PRINCIPLE; SN1987A
期刊文章
Fulltext
Liu, Fenrong; Wang, Yanjing
minds and machines
2013
[ABSTRACT] In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based...
[KEYWORDS] Agent types; Public announcement logic; Questioning strategy; Knight and Knaves; The hardest logic puzzle ever; QUESTIONS
期刊文章
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
期刊文章
Bo, Chen
journal of chinese philosophy
2013
[ABSTRACT] Kripke's epistemic argument against descriptivism is reconstructed as follows. Premise 1: if descriptivism is correct, then "N is the F&q...
[KEYWORDS] 
期刊文章
Sun Shangyang
logos pneuma chinese journal of theology
2013
[ABSTRACT] This introduction provides a broad definition of field and Sino-Christian theology. After introducing and commenting on five positions about the re...
[KEYWORDS] Field; Data; Social Theory; Sino-Christian Theology
期刊文章
Li, Elizabeth Woo
dao a journal of comparative philosophy
2013
[ABSTRACT] 
[KEYWORDS] 
期刊文章
Sun Shangyang; Han Qi
logos pneuma chinese journal of theology
2013
[ABSTRACT] Data from Survey of University Students' Attitude toward Christianity in Beijing shows that Christians among university students in Beijing co...
[KEYWORDS] Christians among University Students; Conversion; Religious Commitment; Rational Choice
[ABSTRACT] There are two problematic assumptions in Kripke's semantic argument against descriptivism. Assumption 1 is that the referential relation of a ...
[KEYWORDS] Kripke; the semantic argument; Assumption 1; Assumption 2; the sociality; intentionality; conventionality and historicity of language and meaning; PROPER-NAMES
Results 1-13 of 13
  • <<
  • 1
  • >>