Entries from 2009-10-06 to 1 day
個体の解釈が可能世界ごとに違う意味論。単に object の解釈を世界に依存するように変えるだけかと思ったら、そうではなくて object と intention の二種類の sort を用意してます。 syntax intention variable (i, j, ...) が新たに term として加わります…
個体の解釈が可能世界ごとに違う意味論。単に object の解釈を世界に依存するように変えるだけかと思ったら、そうではなくて object と intention の二種類の sort を用意してます。 syntax intention variable (i, j, ...) が新たに term として加わります…