 | Up a level |
Afshari, Bahareh; Grotenhuis, Lide; Leigh, Graham E; Zenger, Lukas (2023). Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. Lecture notes in computer science, 14278, pp. 223-241. Springer 10.1007/978-3-031-43513-3_13
Afshari, Bahareh; Jäger, Gerhard Max; Leigh, Graham E. (July 2019). An Infinitary Treatment of Full Mu-Calculus. Lecture notes in computer science, 11541, pp. 17-34. Springer 10.1007/978-3-662-59533-6_2
