And from that ... offhand, or superficially, it looks like Power (the entirety of it) can be Modeled using Categorical Logic and Set Theory -- if one allows Triples in the latter.  Bringing up the intriguing notion of using (stealing) the idea of functor from Category Mathematics as a way to handle Power-as-Supply and Power-as-Demand as across Time.

Of course, there are systems of Temporal Logic running around based on Modal Logic.  I'm not convinced, yet, they are all that useful in a dynamic environment.  

She believed in nothing; only her skepticism kept her from being an atheist. -- Jean-Paul Sartre