| Title | Two cut-free modal sequent calculi |
| Publication Type | Journal Article |
| Year of Publication | 1995 |
| Authors | Arsov A |
| Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Volume | 87 |
| Start Page | 165 |
| Issue | Livre 1 - Mathématiques |
| Pagination | 165-177 |
| ISSN | 0205-0808 |
| Attachment | Size |
|---|---|
 87-165-177.pdf | 1.84 MB |