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

ISSN журнала: 01380680

Авторы

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.