A new proof of the fixed-point theorem of provability logic
From MaRDI portal
Publication:923072
DOI10.1305/ndjfl/1093635331zbMath0712.03011OpenAlexW1972110795MaRDI QIDQ923072
Could not fetch data.
Publication date: 1990
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635331
Could not fetch data.
Could not fetch data.