Logical KRCinfoGames