Return to Article Details An algebraic model for the modal logic KD Download Download PDF