Syntactical treatments of propositional attitudes.

Syntactical treatments of propositional attitudes are attractive to artificial intelligence researchers. But results of Montague (1974) and Thomason (1980) seem to show that syntactical treatments are not viable. They show that if representation languages are sufficiently expressive, then axiom sche...

全面介紹

書目詳細資料
發表在:Artificial intelligence. 106, 1 (1998).
主要作者: Morreau, Michael
其他作者: Kraus, Sarit
格式: Article
語言:English
主題: