2004-05-31 様相論理 とりあえずリンクだけ。 http://www.aoni.waseda.jp/hhirao/logic/no16.htm http://milan.elec.ryukoku.ac.jp/~kobori/resume/inf/inf8.html http://milan.elec.ryukoku.ac.jp/~kobori/resume/inf/inf9.html