Logical equations and admissible rules of inference with parameters in modal provability logics

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

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

Идентификатор DOI: 10.1007/BF00935600

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

Издание

Журнал: Studia Logica

Выпуск журнала: Т.49, 2

Номера страниц: 215-239

ISSN журнала: 00393215

Издатель: Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V.

Авторы

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

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

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