(またレイアウトがうまくいってなくて読みずらいかと思います. すみません. ) 様相論理の意味論ではKripke structureが用いられることが多いのですが, 最近Aumann sructureというものを勉強したのでメモします. もともとAumannは経済学で有名な人で, このAum…