The rnodal axioms in a modal logical system describe its logical characteristic of necessity from another respect.

  • 同时,模态系统中的模态公理,从另一个侧面对该系统中的“必然性”概念的逻辑特性作了描述。
目录 查词历史