| |
| 1996 | ||
|---|---|---|
| 4 | Claudio Cerrato: Modal Tree-Sequents. Math. Log. Q. 42: 197-210 (1996) | |
| 1994 | ||
| 3 | Claudio Cerrato: Natural Deduction Based upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic 35(4): 471-495 (1994) | |
| 2 | Claudio Cerrato: Decidability by Filtrations for graded normal logics (graded modalities V). Studia Logica 53(1): 61-74 (1994) | |
| 1993 | ||
| 1 | Claudio Cerrato: Modal Sequents for Normal Modal Logics. Math. Log. Q. 39: 231-240 (1993) | |