Concepedia

The provability logic for Σ1-interpolability

Konstantin N. Ignatiev

Annals of Pure and Applied Logic · 1993 · 10 citations · 2 references

DOI

Concepts

References

2

The interpretability logic of Peano arithmetic

Alessandro Berarducci · Journal of Symbolic Logic · 1990 · 88 citations

, , +11

Characters and fixed-points in provability logic.

Zachary L. Gleit, Warren Goldfarb · Notre Dame Journal of Formal Logic · 1989 · 15 citations · Full text

, , +15