The following pages link to Saverio Cittadini (Q190277):
Displaying 8 items.
- Finite trees in tense logic (Q1288959) (← links)
- Minimal \(p\)-morphic images, axiomatizations and coverings in the modal logic K4 (Q1300009) (← links)
- On pairs of free modules over a Dedekind domain (Q2580960) (← links)
- (Q2776820) (← links)
- Minimal Axiomatization in Modal Logic (Q4333475) (← links)
- (Q4787866) (← links)
- Mechanizing Mathematical Reasoning (Q5717439) (← links)
- Duality and completeness for US-logics (Q5937817) (← links)
