... logic include: MBT/F, (F)PR, SA, PSA, and NA.
I'd throw MSS into this as well, though ... with takes sufficient for necessary and takes necessary for sufficient. ... most common on flaw, MBT and parallel flaw and reasoning. Sufficient assumption are ...