Download Branching Time Temporal Logics. Theoretical Issues And A Computer Science Application Phd Thesis