Why so Many Temporal Logics Climb up the Trees?

Alexander Moshe Rabinovich, Shahar Maoz

Browse the full MFCS paper archive.