×

A necessary condition for rules to be admissible in temporal tomorrow-logic. (English) Zbl 1050.03013

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.

MSC:

03B44 Temporal logic
PDFBibTeX XMLCite