Kripke semantics has a straightforward generalization to logics with more than one modality.
Perhaps the most straightforward generalization is to replace a single probability specification with an interval specification.
The above expression has a straightforward generalization to the probability distribution :
The following proof is a straightforward generalization of the proof of the real Morse Lemma, which can be found in.
There is no single straightforward generalization of polygon monotonicity to higher dimensions.
Another more straightforward generalization of the log-logistic is the shifted log-logistic distribution.
The proof is a relatively straightforward generalization of the proof given above that a 60-degree angle is not trisectible.
This is in fact a straightforward generalization of a theorem of Penrose (1965b)(see also Hawking and Ellis 1973, p.263).
A -ary relation is a straightforward generalization of a binary relation.
It also turns out that the usual rules for the derivative of a sum, difference, product and quotient have straightforward generalizations to the approximate derivative.