Montagna, Franco; Pianigiani, Duccio A short note on essentially \(\Sigma_1\) sentences. (English) Zbl 1270.03039 Log. Univers. 7, No. 1, 103-111 (2013). Reviewer: Mladen Vuković (Zagreb) MSC: 03B45 03F45 03F30 PDFBibTeX XMLCite \textit{F. Montagna} and \textit{D. Pianigiani}, Log. Univers. 7, No. 1, 103--111 (2013; Zbl 1270.03039) Full Text: DOI
Artëmov, Sergei; Montagna, Franco On first-order theories with provability operator. (English) Zbl 0860.03016 J. Symb. Log. 59, No. 4, 1139-1153 (1994). MSC: 03B45 03B25 03F30 PDFBibTeX XMLCite \textit{S. Artëmov} and \textit{F. Montagna}, J. Symb. Log. 59, No. 4, 1139--1153 (1994; Zbl 0860.03016) Full Text: DOI
Montagna, Franco; Sommaruga, Giovanni Rosser and Mostowski sentences. (English) Zbl 0688.03041 Arch. Math. Logic 27, No. 2, 115-133 (1988). Reviewer: O.Sonobe MSC: 03F30 03B45 PDFBibTeX XMLCite \textit{F. Montagna} and \textit{G. Sommaruga}, Arch. Math. Logic 27, No. 2, 115--133 (1988; Zbl 0688.03041) Full Text: DOI
de Jongh, Dick H. J.; Montagna, Franco Generic generalized Rosser fixed points. (English) Zbl 0638.03019 Stud. Log. 46, 193-203 (1987). Reviewer: S.Artemov MSC: 03B45 03F07 03F30 PDFBibTeX XMLCite \textit{D. H. J. de Jongh} and \textit{F. Montagna}, Stud. Log. 46, 193--203 (1987; Zbl 0638.03019) Full Text: DOI
Montagna, Franco Provability in finite subtheories of PA and relative interpretability: a modal investigation. (English) Zbl 0623.03023 J. Symb. Log. 52, 494-511 (1987). Reviewer: S.Artemov MSC: 03B45 03F07 03F30 03F25 PDFBibTeX XMLCite \textit{F. Montagna}, J. Symb. Log. 52, 494--511 (1987; Zbl 0623.03023) Full Text: DOI