Claudio Cerrato

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

5 Claudio Cerrato: Modal Tree-Sequents. Math. Log. Q. 42: 197-210 (1996)

1994

4 Claudio Cerrato: Natural Deduction Based upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic 35(4): 471-495 (1994)

3 Claudio Cerrato: Decidability by Filtrations for graded normal logics (graded modalities V). Studia Logica 53(1): 61-74 (1994)

1993

2 Claudio Cerrato: Modal Sequents for Normal Modal Logics. Math. Log. Q. 39: 231-240 (1993)

1 Claudio Cerrato: Cut-free modal sequents for normal modal logics. Notre Dame Journal of Formal Logic 34(4): 564-582 (1993)

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

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page