| http://www.w3.org/ns/prov#value | - In propositional modal logic, I see that you shouldn???t confuse frames and models, where the latter are concieved as including interpretations of the non-logical non-modal vocabulary (since, for example, sets of formulae validated by classes of models needn???t be closed under substitution.) But when we???re concerned with defineability in QML, is there a principled reason to include, say, the do
|
