Return to Article Details Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic Download Download PDF