The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).
faculty: "FNWI" and publication year: "2004"
| Author||Tanja Hötte|
|Title||A Model for Epistemic Games|
|Faculty||Faculty of Science|
|Institute/dept.||FNWI/FGw: Institute for Logic, Language and Computation (ILLC)|
|Keywords||epistemic games; uncertainty; dynamic update systems|
|Series||ILLC Master of Logic Theses / ILLC ; MoL-2003-05|
|Abstract||A Model for Epistemic Games
In this thesis, I introduce and investigate a new framework for modeling epistemic information in games that allows to express more general types of uncertainty than, for instance, imperfect information. In particular, we liberate the view on epistemic alternatives: not just other states of the same tree are considered, but completely independent other game trees. In doing this, we open a wider perspective on modeling games in epistemic logic, beyond existing work on standard imperfect information games.
We give a basic language and a minimal logic for epistemic game models and proved completeness. Furthermore we discuss several other modal formulas one might take as axioms for special subclasses of epistemic game models, such as almost bending back. By extending the language with inverse action relations and some iteration operators, we increase its expressiveness, e.g. it now becomes possible to define the property of being a single tree model by a modal formula. In comparing our static approach to the dynamic update systems of Baltag, Moss and Solecki we find several means of extending their account to include the treatment of games.|
Use this url to link to this page: http://dare.uva.nl/en/record/419892
Contact us about this recordNotify a colleague
Add to bookbag