Unification in transitive reflexive modal logics

    Research output: Working paperAcademic

    Original languageUndefined/Unknown
    Place of PublicationUtrecht University
    PublisherLogic Group preprint series: http://www.phil.uu.nl/preprints/lgps/
    Number of pages15
    Publication statusPublished - 2013

    Publication series

    Name
    PublisherLogic Group preprint series: http://www.phil.uu.nl/preprints/lgps/

    Cite this