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


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