Analysis of information sources in references of the Wikipedia article "必然性" in Japanese language version.
The operator (for 'possibly') can be defined from by letting . In K, the operators and behave very much like the quantifiers (all) and (some). For example, the definition of from mirrors the equivalence of with in predicate logic.