Proof-theoretic aspects of modal logic with fixed points
The thesis was published by
,
in September 2022,
University of Bern.
Abstract: