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