Return to Article Details Temporal Interpretation of Modal Logic Download Download PDF