A Study in Semantics and Modal Logic
Unifying Explanatory and Constructive Modeling: Towards Removing the Gulf Between Ontologies and Conceptual Models