Results 1-20 of 33
 | 
[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
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] 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] 
会议论文
Van Ditmarsch, Hans; Fan, Jie; Van Der Hoek, Wiebe; Iliev, Petar
2014
[ABSTRACT] We present two families of exponential lower bounds on the size of modal formulae and use them to establish the following succinctness results. We ...
[KEYWORDS] 
会议论文
Wang, Yanjing; Fan, Jie
2014
[ABSTRACT] Classic epistemic logic focuses on propositional knowledge expressed by \knowing that' operators. However, there are various types of knowledg...
[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] 
会议论文
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
会议论文
Torabi Dashti, Mohammad; Cederquist, Jan; Wang, Yanjing
2012
[ABSTRACT] We investigate how the behaviors of malicious trusted parties affect participants of optimistic non-repudiation protocols. We introduce a notion of...
[KEYWORDS] 
期刊文章
Fulltext
van Ditmarsch, Hans; Ghosh, Sujata; Verbrugge, Rineke; Wang, Yanjing
人工智能
2014
[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] Protocols; Dynamic epistemic logic; Guarded automata; KNOWLEDGE; COMMUNICATION; LOGICS
会议论文
Su, Xingchi
6th International Workshop on Logic, Rationality, and Interaction, LORI 2017
2017
[ABSTRACT] Standard epistemic logic studies reasoning patterns about ��knowing that��, where interesting group notions of ��knowing that�� arise naturally, su...
[KEYWORDS] 
期刊文章
Fulltext
Zhou, Lingli; Ma, Bo-Qiang
astroparticle physics
2012
[ABSTRACT] The light speed anisotropy, i.e., the variation of the light speed with respect to the direction in an "absolute" reference frame, is a p...
[KEYWORDS] Lorentz invariance violation; Light speed anisotropy; GRAAL experiment; BEAM LASER SPECTROSCOPY; LORENTZ VIOLATION; BACKGROUND-RADIATION; GENERAL PRINCIPLE; ISOTROPY; RELATIVITY; INVARIANCE; TESTS
期刊文章
Fulltext
Shao LiJing; Ma BoQiang
science china physics mechanics astronomy
2011
[ABSTRACT] The newly proposed entropic gravity suggests gravity as an emergent force rather than a fundamental one. In this approach, the Newtonian constant G...
[KEYWORDS] physical constants; entropic gravity; Lorentz violation; DOUBLY-SPECIAL RELATIVITY; LORENTZ VIOLATION; ENERGY; THERMODYNAMICS; SPACETIME; EQUATION; GRAVITY
期刊文章
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
[ABSTRACT] When reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5lik...
[KEYWORDS] 
Results 1-20 of 33