Return to Article Details Reflections on temporal and modal logic Download Download PDF