Claudio Cerrato
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Modal Tree‐Sequents Mathematical Logic Quarterly | 1998-02-04 | Paper |
| scientific article; zbMATH DE number 970631 (Why is no real title available?) | 1997-01-23 | Paper |
| Natural deduction based upon strict implication for normal modal logics Notre Dame Journal of Formal Logic | 1995-11-26 | Paper |
| Modal sequents for normal modal logics Mathematical Logic Quarterly | 1994-09-08 | Paper |
| Decidability by filtrations for graded normal logics. (Graded modalities. V) Studia Logica | 1994-03-22 | Paper |
| Cut-free modal sequents for normal modal logics Notre Dame Journal of Formal Logic | 1994-03-22 | Paper |
| General canonical models for graded normal logics. (Graded modalities. IV) Studia Logica | 1990-01-01 | Paper |
| Graded modalities. III: The completeness and compactness of \(S4^ 0\) Studia Logica | 1988-01-01 | Paper |
Research outcomes over time
This page was built for person: Claudio Cerrato
