Return to Article Details On the Relations between S. Kripke's Simplified Semantics for the Systems of Modal Logic and an Algebraical Approach to the Syntax of these Systems and their Semantics Download Download PDF