A simplification of a completeness proof of Guaspari and Solovay

DOI10.1007/BF00370380zbMath0638.03018OpenAlexW1977861517MaRDI QIDQ1099164

Dick H. J. de Jongh

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

modal logicprovabilityRosser sentencesGuaspari-Solovay modal systemsKripke style models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Structure of proofs (03F07)

Related Items

Generic generalized Rosser fixed points ⋮ On the proof of Solovay's theorem ⋮ Rosser orderings and free variables ⋮ Rosser and Mostowski sentences ⋮ A note on some extension results ⋮ The logic of \(\Pi_ 1\)-conservativity continued

Cites Work

• Generic generalized Rosser fixed points
• Rosser sentences