Poggiolesi, Francesca A cut-free simple sequent calculus for modal logic S5. (English) Zbl 1204.03024 Rev. Symb. Log. 1, No. 1, 3-15 (2008). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{F. Poggiolesi}, Rev. Symb. Log. 1, No. 1, 3--15 (2008; Zbl 1204.03024) Full Text: DOI
Omori, Hitoshi; Waragai, Toshiharu On Béziau’s logic Z. (English) Zbl 1170.03015 Log. Log. Philos. 17, No. 4, 305-320 (2008); errata ibid. 18, No. 1, 93-94 (2009). MSC: 03B53 03B45 03B05 PDFBibTeX XMLCite \textit{H. Omori} and \textit{T. Waragai}, Log. Log. Philos. 17, No. 4, 305--320 (2008; Zbl 1170.03015)
Pellissier, Régis “Setting” \(n\)-opposition. (English) Zbl 1156.03021 Log. Univers. 2, No. 2, 235-263 (2008). MSC: 03B45 PDFBibTeX XMLCite \textit{R. Pellissier}, Log. Univers. 2, No. 2, 235--263 (2008; Zbl 1156.03021) Full Text: DOI
Martins, Ana Teresa; Martins, Lilia Ramalho Full classical S5 in natural deduction with weak normalization. (English) Zbl 1137.03011 Ann. Pure Appl. Logic 152, No. 1-3, 132-147 (2008). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{A. T. Martins} and \textit{L. R. Martins}, Ann. Pure Appl. Logic 152, No. 1--3, 132--147 (2008; Zbl 1137.03011) Full Text: DOI