论文信息 - A note on some extension results

A note on some extension results

In this note, a fully modal proof is given of some conservation results proved in a previous paper by arithmetic means. The proof is based on the extendability of Kripke models.

Franco Montagna | Giovanni Sommaruga

[1] G. Boolos,et al. Self-Reference and Modal Logic , 1985 .

[2] Franco Montagna,et al. Rosser and mostowski sentences , 1988, Arch. Math. Log..

[3] Franco Montagna,et al. Provable Fixed Points , 1988, Math. Log. Q..

[4] Dick H. J. Jongh. A simplification of a completeness proof of Guaspari and Solovay , 1987, Stud Logica.