Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Zaid, Faried Abu, Grädel, Erich and Jaax, Stephan. 2014. “Bisimulation Safe Fixed Point Logic.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 1–15. London: King’s College Publications.