zbMath0582.03045MaRDI QIDQ3705451
Raymond M. Smullyan
Publication date: 1985
zbMATH Keywords
self-reference; first-order theories; modal logics; provability predicate; self-referential systems
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03F30: First-order arithmetic and fragments