Claudio Cerrato

Publication Activity (10 Years)

Years Active: 1988-1996
Publications (10 Years): 0

Publications

Claudio Cerrato
Modal Tree-Sequents. Math. Log. Q. 42 (1996)
Claudio Cerrato
Decidability by Filtrations for graded normal logics (graded modalities V). Stud Logica 53 (1) (1994)
Claudio Cerrato
Natural Deduction Based upon Strict Implication for Normal Modal Logics. Notre Dame J. Formal Log. 35 (4) (1994)
Claudio Cerrato
Cut-free modal sequents for normal modal logics. Notre Dame J. Formal Log. 34 (4) (1993)
Claudio Cerrato
Modal Sequents for Normal Modal Logics. Math. Log. Q. 39 (1993)
Claudio Cerrato
General canonical models for graded normal logics (graded modalities IV). Stud Logica 49 (2) (1990)
Maurizio Fattorosi-Barnaba, Claudio Cerrato
Graded modalities. III (the completeness and compactness of S40). Stud Logica 47 (2) (1988)