Algebraic Methods in Modal Logic

GPTKB entity