Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Blackburn, Patrick and Tzakova, Miroslava. 1999. “Hybrid Languages and Temporal Logic.”Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 7: 27–54.