Entries from 2009-03-23 to 1 day
Topological Duality for Modal Logic というタイトルのスライドを読んでみました。様相論理の Stone duality についてあまり本気で考えたことはありませんでしたが、これを見る限り素直にやればできてそうに思えます。要するに classical Stone duality に…
Topological Duality for Modal Logic というタイトルのスライドを読んでみました。様相論理の Stone duality についてあまり本気で考えたことはありませんでしたが、これを見る限り素直にやればできてそうに思えます。要するに classical Stone duality に…