Logics in Computer Science formatIsbn:Hardcover 9789491216947 The difficulty of synchronizing sound January 2007 A The difficulty of synchronizing sound recordings with the resulting moving images led to about 30 years of silent films until such time as the technical problems were solved The application of such models allows us to propose the hypothesis of two fundamentally different ethical systems determining the normative patterns of human behavior in situations of conflict the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed strategy logic and memoryful alternating time temporal logic