Flagg, R. C.; Friedman, H. Maximality in modal logic. (English) Zbl 0624.03013 Ann. Pure Appl. Logic 34, 99-118 (1987). Reviewer: G.Mints MSC: 03B45 PDFBibTeX XMLCite \textit{R. C. Flagg} and \textit{H. Friedman}, Ann. Pure Appl. Logic 34, 99--118 (1987; Zbl 0624.03013) Full Text: DOI
Flagg, R. C.; Friedman, H. Epistemic and intuitionistic formal systems. (English) Zbl 0626.03050 Ann. Pure Appl. Logic 32, 53-60 (1986). MSC: 03F50 03B45 PDFBibTeX XMLCite \textit{R. C. Flagg} and \textit{H. Friedman}, Ann. Pure Appl. Logic 32, 53--60 (1986; Zbl 0626.03050) Full Text: DOI