Claudio Cerrato

Available identifiers

zbMath Open cerrato.claudioMaRDI QIDQ1317900

List of research outcomes

Publication	Date of Publication	Type
Modal Tree‐Sequents	1998-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q5688810	1997-01-23	Paper
Natural deduction based upon strict implication for normal modal logics	1995-11-26	Paper
Modal sequents for normal modal logics	1994-09-08	Paper
Decidability by filtrations for graded normal logics. (Graded modalities. V)	1994-03-22	Paper
Cut-free modal sequents for normal modal logics	1994-03-22	Paper
General canonical models for graded normal logics. (Graded modalities. IV)	1990-01-01	Paper
Graded modalities. III: The completeness and compactness of \(S4^ 0\)	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claudio Cerrato