Most of the modal systems used in practice (including all listed above) have FMP.
多数实际上使用的模态系统(包括所有上面列出的)都有 FMP。