information about Interpretability logic field

Interpretability logic

http://en.wikipedia.org/wiki/Interpretability_logic
Field Hierarchy
Parent
Provability logic
1 papers
Current
Interpretability logic
papers
Child
Trends