Two cut-free modal sequent calculi

ЗаглавиеTwo cut-free modal sequent calculi
Вид публикацияJournal Article
Година на публикуване1995
АвториArsov A
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том87
Start Page165
IssueLivre 1 - Mathématiques
Pagination165-177
ISSN0205-0808
Прикачен файлРазмер
PDF icon 87-165-177.pdf1.84 MB