van Benthem, J. F. A. K.; Blok, W. J. Transitivity follows from Dummett’s axiom. (English) Zbl 0422.03004 Theoria 44, 117-118 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 Documents MSC: 03B45 Modal logic (including the logic of norms) Keywords:modal deduction; transitivity; Kripke frame; incomplete modal logic; Dummett’s axiom PDFBibTeX XMLCite \textit{J. F. A. K. van Benthem} and \textit{W. J. Blok}, Theoria 44, 117--118 (1978; Zbl 0422.03004) Full Text: DOI