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
Luchi, Duccio; Montagna, Franco An operational logic of proofs with positive and negative information. (English) Zbl 0947.03077 Stud. Log. 63, No. 1, 7-25 (1999). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03F07 03F30 PDFBibTeX XMLCite \textit{D. Luchi} and \textit{F. Montagna}, Stud. Log. 63, No. 1, 7--25 (1999; Zbl 0947.03077) Full Text: DOI
Carbone, Alessandra; Montagna, Franco Rosser orderings in bimodal logics. (English) Zbl 0688.03010 Z. Math. Logik Grundlagen Math. 35, No. 4, 343-358 (1989). Reviewer: G.Mints MSC: 03B45 03F40 PDFBibTeX XMLCite \textit{A. Carbone} and \textit{F. Montagna}, Z. Math. Logik Grundlagen Math. 35, No. 4, 343--358 (1989; Zbl 0688.03010) 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