Odintsov, Sergei; Wansing, Heinrich Routley star and hyperintensionality. (English) Zbl 07345775 J. Philos. Log. 50, No. 1, 33-56 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{S. Odintsov} and \textit{H. Wansing}, J. Philos. Log. 50, No. 1, 33--56 (2021; Zbl 07345775) Full Text: DOI
Weiss, Yale Basic intuitionistic conditional logic. (English) Zbl 1457.03047 J. Philos. Log. 48, No. 3, 447-469 (2019). MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{Y. Weiss}, J. Philos. Log. 48, No. 3, 447--469 (2019; Zbl 1457.03047) Full Text: DOI
Wolter, Frank On logics with coimplication. (English) Zbl 0976.03020 J. Philos. Log. 27, No. 4, 353-387 (1998). MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{F. Wolter}, J. Philos. Log. 27, No. 4, 353--387 (1998; Zbl 0976.03020) Full Text: DOI
Kracht, Marcus On extensions of intermediate logics by strong negation. (English) Zbl 0929.03035 J. Philos. Log. 27, No. 1, 49-73 (1998). Reviewer: D.Skvortsov (Moskva) MSC: 03B55 03G25 06D20 PDFBibTeX XMLCite \textit{M. Kracht}, J. Philos. Log. 27, No. 1, 49--73 (1998; Zbl 0929.03035) Full Text: DOI
Horsten, Leon Provability in principle and controversial constructivistic principles. (English) Zbl 0883.03011 J. Philos. Log. 26, No. 6, 635-660 (1997). Reviewer: Leon Horsten (Leuven) MSC: 03B45 03F50 03F30 03F55 PDFBibTeX XMLCite \textit{L. Horsten}, J. Philos. Log. 26, No. 6, 635--660 (1997; Zbl 0883.03011) Full Text: DOI
Reyes, Gonzalo E.; Zolfaghari, Houman Bi-Heyting algebras, toposes and modalities. (English) Zbl 0851.03022 J. Philos. Log. 25, No. 1, 25-43 (1996). Reviewer: M.Abad (Bahia Blanca) MSC: 03G30 03G10 03B45 PDFBibTeX XMLCite \textit{G. E. Reyes} and \textit{H. Zolfaghari}, J. Philos. Log. 25, No. 1, 25--43 (1996; Zbl 0851.03022) Full Text: DOI
Bell, J. L. Hilbert’s \(\varepsilon{}\)-operator and classical logic. (English) Zbl 0784.03008 J. Philos. Log. 22, No. 1, 1-18 (1993). Reviewer: B.Boričić (Stockholm) MSC: 03B10 03B55 03A05 03-03 PDFBibTeX XMLCite \textit{J. L. Bell}, J. Philos. Log. 22, No. 1, 1--18 (1993; Zbl 0784.03008) Full Text: DOI