information about Provability logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Intuitionistic logic 2,384 papers | |||
| Current | |||
Provability logic 1 papers | |||
| Child | |||
Interpretability logic 0 papers |
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Intuitionistic logic 2,384 papers | |||
| Current | |||
Provability logic 1 papers | |||
| Child | |||
Interpretability logic 0 papers |