Nghĩa chính
- Giải pháp thay thế cho ngữ nghĩa các thế giới khả hữu tiêu chuẩn trong đó một cá nhân chỉ có thể tồn tại trong một thế giới, trong khi các thế giới khả dĩ khác chứa các đối tác (khác) với cá thể đó và trong đó các toán tử phương thức (sự cần thiết, khả năng) được thay thế bằng các bộ định lượng trên các thế giới khả hữudanh từkhông đếm được (uncountable)An alternative to standard possible worlds semantics in which an individual can exist in only one world, while other possible worlds contain (different) counterparts to that individual, and in which the modality operators (necessity, possibility) are replaced by quantifiers over possible worlds.
Ví dụ
- , . , .
- , , , (non-modal) , .