Meyer, Robert K.; Giambrone, Steve Strict implication in T. (English) Zbl 0482.03003 Logique Anal., Nouv. Sér. 24, 267-269 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03B45 Modal logic (including the logic of norms) 03B20 Subsystems of classical logic (including intuitionistic logic) Keywords:S4; ticket entailment PDFBibTeX XMLCite \textit{R. K. Meyer} and \textit{S. Giambrone}, Log. Anal., Nouv. Sér. 24, 267--269 (1981; Zbl 0482.03003)