  Quantum resource theory is a cutting-edge tool used to study practical
implementations of quantum mechanical principles under realistic operational
constraints. It does this by modelling quantum systems as restricted classes of
possible or permissible experimental operations. Modal logic provides a formal
tool for studying possibility and impossibility is a completely general logical
setting. Here, I show that quantum resource theories may be functorially
translated into models of variable-domain S4 modal logic in a way that provides
a new class of formal techniques for exploring quantum resource-theoretic
problems. I then extend this functorial relationship to an injective one by
adding structure to these logical models to reflect the convertibility preorder
of resources in the underlying resource theory. I conclude by discussing how
this viewpoint may be deployed concretely.
