The following pages link to Claudio Cerrato (Q1317900):
Displaying 9 items.
- (Q920974) (redirect page) (← links)
- General canonical models for graded normal logics. (Graded modalities. IV) (Q920975) (← links)
- Graded modalities. III: The completeness and compactness of \(S4^ 0\) (Q1113889) (← links)
- Decidability by filtrations for graded normal logics. (Graded modalities. V) (Q1317901) (← links)
- Cut-free modal sequents for normal modal logics (Q1317973) (← links)
- Natural deduction based upon strict implication for normal modal logics (Q1903127) (← links)
- Modal sequents for normal modal logics (Q4304135) (← links)
- Modal Tree‐Sequents (Q4879198) (← links)
- (Q5688810) (← links)
