Explicit Fixed Points in Interpretability Logic

C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp.

George Boolos · Journal of Symbolic Logic · 1988 · 239 citations

Formal Logic, Non-classical Logic, Engineering +14

Modal analysis of generalized rosser sentences

Vítězslav Švejdar · Journal of Symbolic Logic · 1983 · 40 citations

Engineering, Constructive Logic, Classical Logic +17

Preliminary notes on interpretability logic

Albert Visser · Data Archiving and Networked Services (DANS) · 1988 · 28 citations · Full text

On interpretability in theories containing arithmetic. II.

Petr Hájek · Czech digital mathematics library · 1981 · 13 citations · Full text