Provability Logic and Modalised Fixed Points

    Activity: Talk or presentation › Invited talk › Academic

    Period29 Sept 2020
    Event titleOnline Seminar on Foundations of Mathematics, Wuhan
    Event typeConference
    Degree of RecognitionInternational