Return to Article Details Logical Theory-Choice: The Case of Classical Logic and Temporal Logic Download Download PDF