کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951410 | 1441451 | 2017 | 35 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A stochastic interpretation of game logic
ترجمه فارسی عنوان
تفسیر تصادفی منطق بازی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Game logic is a dynamic modal logic which models strategic two person games; it contains propositional dynamic logic (PDL) as a fragment. We propose an interpretation of game logic based on stochastic effectivity functions. A definition of these functions is given, and some algebraic properties of effectivity functions such as congruences are investigated. The relationship with stochastic relations is characterized through a deduction system. Logical and behavioral equivalence of game models is investigated. Finally the completion of models receives some attention.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 88, April 2017, Pages 64-98
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 88, April 2017, Pages 64-98
نویسندگان
Ernst-Erich Doberkat,