A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games

Chanjuan Liu, Fenrong Liu, Kaile Su. A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games. Fundamenta Informaticae, 158(1-3):149-169, 2018. [doi]

Abstract

Abstract is missing.