Return to Article Details Logic and Formal Reasoning: Classical Logic, Modal Systems, and Non-Classical Extensions Download Download PDF