Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

    Activity: Talk or presentation › Conference presentation

    Description

    Contributors: Antti Kuusisto
    Period7 Oct 2009
    Event titleLogICCC meets China' Day
    Event typeOther
    Degree of RecognitionInternational