東條敏『言語・知識・信念の論理』オーム社

本

http://www.bk1.co.jp/product/2653418?partnerid=p-inaba3302385
http://www.amazon.co.jp/exec/obidos/asin/4274202119/interactivedn-22
　可能世界意味論・時制論理・認識論理等々の入門教科書。哲学系ではなく人工知能系。
　安藤『統治と功利』第3章の参考書になるか？