Essays on Realist Instance Ontology and its Logic