一个事件在一个世界中是模态实在的，如果它发生在这个世界或该世界的一个可能世界中；如果一个事件没有发生在一个世界或其任何一个可能世界中，则它在这个世界中是模态非实在的。我们称一个世界中所有模态非实在事件发生或存在的地方为模态黑洞。本文提出了模态实在事件和模态非实在事件的逻辑系统，并证明了系统的可靠性和完全性。
科研之友
微信
新浪微博
Facebook
分享链接
