A necessary condition for rules to be admissible in temporal tomorrow-logic

Описание

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

Год издания: 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

Авторы

Вхождение в базы данных