Some independence results in interpretability logic
From MaRDI portal
Publication:804562
DOI10.1007/BF00370385zbMath0728.03016OpenAlexW1980818842MaRDI QIDQ804562
Publication date: 1991
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370385
Related Items
Cites Work