THE MODAL THEORY OF PURE IDENTITY AND SOME RELATED DECISION PROBLEMS
-
Published:1984
Issue:26-29
Volume:30
Page:415-423
-
ISSN:0044-3050
-
Container-title:Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
-
language:de
-
Short-container-title:MLQ - Math. Log. Quart.