Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. - Bahareh Afshari; Lide Grotenhuis; Graham E. Leigh; Lukas Zenger (TABLEAUX, 2023)

Intuitionistic Master Modality. - Bahareh Afshari; Lide Grotenhuis; Graham E. Leigh; Lukas Zenger (AiML, 2024)