Kiana Samadpour Motalebi - Research Explorer The University of Manchester

Investigation of Refined Tableau Systems for Modal Logics of Confluence
Samadpour Motalebi, K. (Author), Banach, R. (Supervisor) & Schmidt, R. (Supervisor), 12 Aug 2025
Student thesis: Phd

File