Valentin Goranko

• Logic and Discrete Mathematics
• Logic As a Tool
• Temporal Logics
• Temporal Logics in Computer Science
• Temporal Logics in Computer Science - Classical Theory