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). |
|---|---|
| 主要作者: | |
| 其他作者: | |
| 格式: | 文件 |
| 语言: | English |
| 主题: |