The following pages link to Fabio Bellissima (Q190276):
Displaying 32 items.
- Infinite sets of nonequivalent modalities (Q583188) (← links)
- On the axiomatization of finite K-frames (Q761445) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- On the relationship between one-point frames and degrees of unsatisfiability of modal formulas (Q1057257) (← links)
- An effective representation for finitely generated free interior algebras (Q1063013) (← links)
- On the lattice of extensions of the modal logics \(KAlt_ n\) (Q1111541) (← links)
- Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
- Finite trees in tense logic (Q1288959) (← links)
- Minimal \(p\)-morphic images, axiomatizations and coverings in the modal logic K4 (Q1300009) (← links)
- A distinguishable model theorem for the minimal \(\text{US}\)-tense logic (Q1913633) (← links)
- Atoms of tense algebras (Q2640599) (← links)
- (Q2776099) (← links)
- (Q2940211) (← links)
- (Q3063327) (← links)
- (Q3166085) (← links)
- A general treatment of equivalent modalities (Q3486544) (← links)
- (Q3657972) (← links)
- A Test to Determine Distinct Modalities in the Extensions of <i>S4</i> (Q3682466) (← links)
- Finite and finitely separable intermediate propositional logics (Q3830978) (← links)
- (Q3870870) (← links)
- (Q4190615) (← links)
- ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR (Q4295236) (← links)
- (Q4303469) (← links)
- Minimal Axiomatization in Modal Logic (Q4333475) (← links)
- (Q4559854) (← links)
- (Q4679091) (← links)
- Finitely generated free Heyting algebras (Q4724609) (← links)
- (Q5124095) (← links)
- ATOMS IN MODAL ALGEBRAS (Q5187282) (← links)
- Propositions VIII.4–5 of Euclid's<i>Elements</i>and the compounding of ratios on the monochord (Q5745033) (← links)
- Duality and completeness for US-logics (Q5937817) (← links)
- Euler, Lambert and the musicians (Q6653171) (← links)
