Golovanov, M. I.; Rybakov, V. V.; Yurasova, E. M. A necessary condition for rules to be admissible in temporal tomorrow-logic. (English) Zbl 1050.03013 Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 4, 213-220 (2003). A necessary condition is provided for inference rules to be admissible in intransitive temporal logic with a ‘tomorrow’ operator. It is conjectured that this condition is also sufficient. Reviewer: Giacomo Bonanno (Davis) MSC: 03B44 Temporal logic Keywords:admissible rule; intransitive temporal logic; tomorrow operator PDFBibTeX XMLCite \textit{M. I. Golovanov} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 4, 213--220 (2003; Zbl 1050.03013)