کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
435466 689909 2016 20 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A logical characterization of extensive games with short sight
ترجمه فارسی عنوان
ویژگی منطقی بازی های بزرگ با دید کوتاه
کلمات کلیدی
نظریه بازی، بازی های بزرگ، دید کوتاه، تعادل، منطق مودال
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 612, 25 January 2016, Pages 63–82
نویسندگان
, , , ,