“a study in non-standard possible-world semantics and ontology”