Show simple item record

dc.contributor.authorLiu, Chanjuan
dc.contributor.authorLiu, Fenrong
dc.contributor.authorSu, Kaile
dc.contributor.authorZhu, Enqiang
dc.date.accessioned2021-01-13T00:08:58Z
dc.date.available2021-01-13T00:08:58Z
dc.date.issued2016
dc.identifier.issn0304-3975
dc.identifier.doi10.1016/j.tcs.2015.10.015
dc.identifier.urihttp://hdl.handle.net/10072/400966
dc.description.abstractThe 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.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherElsevier
dc.relation.ispartofpagefrom63
dc.relation.ispartofpageto82
dc.relation.ispartofjournalTheoretical Computer Science
dc.relation.ispartofvolume612
dc.subject.fieldofresearchMathematical sciences
dc.subject.fieldofresearchcode49
dc.subject.keywordsScience & Technology
dc.subject.keywordsComputer Science, Theory & Methods
dc.subject.keywordsGame theory
dc.titleA logical characterization of extensive games with short sight
dc.typeJournal article
dc.type.descriptionC1 - Articles
dcterms.bibliographicCitationLiu, C; Liu, F; Su, K; Zhu, E, A logical characterization of extensive games with short sight, Theoretical Computer Science, 2016, 612, pp. 63-82
dc.date.updated2021-01-13T00:06:24Z
gro.hasfulltextNo Full Text
gro.griffith.authorSu, Kaile


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record