Undecidable properties of extensions of provability logic. II

DOI10.1007/BF02215288zbMath0729.03009OpenAlexW2054049955MaRDI QIDQ805607

Could not fetch data.

Publication date: 1990

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02215288

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.