Claudio Cerrato

Natural Deduction Based upon Strict Implication for Normal Modal Logics

Claudio Cerrato, 1994, Notre Dame J. Formal Log..

Modal Sequents for Normal Modal Logics

Claudio Cerrato, C. Cerrato, 1993, Math. Log. Q..

Cut-free modal sequents for normal modal logics

Claudio Cerrato, 1993, Notre Dame J. Formal Log..

Modal Tree-Sequents

Claudio Cerrato, 1996, Math. Log. Q..

Decidability by filtrations for graded normal logics (graded modalities V)

Claudio Cerrato, 1994, Stud Logica.