|
|||||
|
|
Tarskian and Kripkean truth |
|
| Authors: | Volker Halbach |
| Affiliation: | (1) Ochsenfelder Straße 12, 85072 Eichstaett, Germany |
| Abstract: | A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke s minimal fixed point model. From this results on the expressive power of both approaches are obtained. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |