An inheritance criterion for the admissible inference rules of K4

Описание

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

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

Идентификатор DOI: 10.1023/A:1021177619829

Ссылки на полный текст

Издание

Журнал: Siberian Mathematical Journal

Выпуск журнала: Т. 43, 6

Номера страниц: 1094-1102

ISSN журнала: 00374466

Место издания: Новосибирск

Издатель: Springer-Verlag GmbH

Персоны

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