What's a good introduction to formal systems that have enough expressive power to refer directly to themselves (and not merely via Goedel numbering)? I need at least the necessity operator and existential quantification.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
1
|
||||||
|
|
1
|
http://en.wikipedia.org/wiki/Self-verifying_theories might be a good place to start. |
||
|
|
