Second-Order Propositional Modal Logic

    Activity: Talk or presentation › Conference presentation

    Description

    Contributors: Antti Kuusisto
    Period25 Jan 2008
    Event titleFMT Research Seminar
    Event typeOther
    Degree of RecognitionNational