A note on some extension results
From MaRDI portal
Publication:1814182
DOI10.1007/BF00370168zbMath0736.03005OpenAlexW1977350483MaRDI QIDQ1814182
Giovanni Sommaruga, Franco Montagna
Publication date: 25 June 1992
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370168
Kripke modelsPeano arithmeticpropositional modal logicconservativityRosser sentenceswitness comparisonextensions of Guaspari-Solovay provability logic
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items
Cites Work