Сибирский федеральный университет

Тип публикации: статья из журнала

Год издания: 2003

Аннотация: We provide a necessary condition for inference rules to be admissible in the temporal Tomorrow-Logic. Our conjecture is that this condition must be also su±cient.

Журнал: Bulletin of the Section of Logic

Выпуск журнала: Vol. 32, Is. 4

Номера страниц: 213-220

• Golovanov M.I. (Department of Mathematics and Computer Science, Krasnoyarsk University, ave. Svobodnyi 79, Krasnoyarsk, Russian Federation)
• Rybakov V.V.
• Yurasova E.M.
• Golovanov M.I. (Department of Mathematics and Computer Science, Krasnoyarsk University)
• Rybakov V.V. (Department of Computing and Mathematics, Manchester Metropolitan University)
• Yurasova E.M.

• Scopus
• Ядро РИНЦ (eLIBRARY.RU)