View of Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5

Return to Article Details Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5 Download Download PDF