Alloyで様相論理

48 views
Skip to first unread message

tmiya

unread,
Apr 17, 2012, 6:00:15 PM4/17/12
to fm-f...@googlegroups.com
http://d.hatena.ne.jp/nishiohirokazu/20120418/1334678046

前回、知識を扱う様相論理の話をしましたが、信念を扱う様相論理の記事です。

やはりこの手のパズルとAlloyは相性が良いのかなぁ。

Reply all
Reply to author
Forward
0 new messages