Craig Interpolation Property in Modal Logics with Provability Interpretation

Вы здесь

Автор:

Sidon T.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1994

Ключевые слова:

модальный

логика

пропозициональный

Стр.:

P.329-340.

Библиография:

Bibliogr.: p.340.

Источник:

Lecture Notes in Computer Science

Том:

813

Карточка:

Б2.14.

Sidon T..

Craig Interpolation Property in Modal Logics with Provability Interpretation// Lecture Notes in Computer Science-1994.-Vol. 813.-P.329-340.
Bibliogr.: p.340.

Таблица в старой библиотеке:

PAP9 10