Explicit fixed points in interpretability logic
From MaRDI portal
Publication:1176094
DOI10.1007/BF00370386zbMath0744.03020MaRDI QIDQ1176094
Albert Visser, Dick H. J. de Jongh
Publication date: 25 June 1992
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03F40: Gödel numberings and issues of incompleteness
03F25: Relative consistency and interpretations
Related Items
Cites Work