Sort-theoretic embeddings can encode modal properties through structural constraints on domains with...
This proposition has not been edited since the history system was added.