 Despite its algebraic nature, the operations can be given their evaluation conditions via “informationalised” Kripke frames (Kripke 1963, 1965). An information frame (Restall 1994) \(\mathbf{F}\) is a triple \(\langle S, \sqsubseteq, \bullet\rangle\). \(S\) is a set of information states \(x, y, z\ldots\) . \(\sqsubseteq\) is a partial order of informational development/inclusion such that \(x \sqsubseteq y\) is taken to mean that the information carried by \(y\) is a development of the information carried by \(x\), and \(\bullet\) is an operation for combining information states. In other words, we have a domain with a combination operation. The operation of information combination and the partial order of information inclusion interrelate as follows: 