A logical characterization of extensive games with short sight

doi:10.1016/j.tcs.2015.10.015

CORC > 北京大学 > 信息科学技术学院

	A logical characterization of extensive games with short sight
	Liu, Chanjuan ; Liu, Fenrong ; Su, Kaile ; Zhu, Enqiang
刊名	THEORETICAL COMPUTER SCIENCE
	2016
关键词	Game theory Extensive games Short sight Equilibrium Modal logic
DOI	10.1016/j.tcs.2015.10.015
英文摘要	The notion of short sight, introduced by Grossi and Turrini, weakens the unrealistic assumption in traditional extensive games that every player is able to perceive the entire game structure. In this paper, we propose a more general model for extensive games with short sight. For reasoning about extensive games with short sight, we propose a new logic language and then present an axiomatization for this logic. We prove the soundness and completeness of the axiomatization. In addition, we show that the logic can formally characterize the solution concepts and Pearce's lemma in games with short sight. (C) 2015 Elsevier B.V. All rights reserved.; NSFC [61472369]; SCI(E); EI; ARTICLE; zhuenqiang@163.com; 63-82; 612
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/437792]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Liu, Chanjuan,Liu, Fenrong,Su, Kaile,et al. A logical characterization of extensive games with short sight[J]. THEORETICAL COMPUTER SCIENCE,2016.
APA	Liu, Chanjuan,Liu, Fenrong,Su, Kaile,&Zhu, Enqiang.(2016).A logical characterization of extensive games with short sight.THEORETICAL COMPUTER SCIENCE.
MLA	Liu, Chanjuan,et al."A logical characterization of extensive games with short sight".THEORETICAL COMPUTER SCIENCE (2016).