Return to Article Details Self-critical Remarks on Natural Deduction Systems of Normal Modal Logics Download Download PDF