Modal Logic and Attribute Value Structures · Study