Một phương pháp phổ biến để xác định ngữ nghĩa là trong điều khoản của thế giới có thể. Cách tiếp cận này chính thức hóa bằng cách sử dụng cấu trúc Kripke [3].
Một cách tiếp cận phổ biến để xác định ngữ nghĩa là trong điều kiện của thế giới có thể. Cách tiếp cận này được chính thức hóa bằng cách sử dụng cấu trúc Kripke [3].