A new proof of the fixed-point theorem of provability logic

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

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.