Tableu-based decision procedures for epistemic and temporal epistemic logics

Mai Ajspur

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

    OriginalsprogEngelsk
    Udgivelses stedRoskilde
    ForlagRoskilde Universitet
    Antal sider335
    StatusUdgivet - 2013

    Citer dette