As a new and developing academic subject,modal logic has produced many modal systems which stem from diverse sources.

• 模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;