真势模态造句
- Clarence Irving Lewis的真势模态逻辑的系统S1-S5。
- 认识逻辑与真势模态逻辑共享某些特征。
- 在另一方面,很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。
- 在其用于可能性和必然性的真势模态的应用中,亚里士多德注意到该情况,以及在正规模态逻辑的情况中,这些模态算符对量化的关系可借助按关系语义设置模型来理解。
- 可能世界语义经常用做Kripke语义的同义语,但这普遍的被认为是一个错误:Kripke语义可以用来分析除了真势模态之外的模态,并且Kripke语义不假定模态现实主义,它或许是可能世界的语言所预示的。
- 用真势模态造句挺难的,這是一个万能造句的方法