Modal logics and intermediate logics motivated by an open problem on c.c.c. forcing Xiao, Han 2024 - E-Dissertationen der UHH - frei zugänglich
