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. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1023/A:1017977304199 | J. Philosophical Logic |
Keywords | Field | DocType |
Point Model, Expressive Power, Partial Truth, Fixed Point Model, Minimal Fixed Point | Kripke structure,Discrete mathematics,Algorithm,Fixed point,Transfinite number,Hierarchy,Expressive power,Mathematics | Journal |
Volume | Issue | ISSN |
26 | 1 | 1573-0433 |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Volker Halbach | 1 | 87 | 10.29 |