LaTeX 中的可能世界（w）

用途

可能世界：克里普克框架中的一个点，公式在该点上被赋值为真或假。

世界取自集合 W，框架是二元组 (W, R)，其中带有一个可达关系。根据所用逻辑的不同，一个世界可以代表程序的一个状态、一个时间点或一种认知上的备选情形。惯例上用小写的 w、v、u 表示世界，用 w_0 表示现实世界。由于单独的斜体 w 非常常见，应明确引入它，最好在第一个公式中写 w \in W 以确定其含义。

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\begin{document}
Possible World: $w$

\[ w \in W,\quad \mathcal{M}, w \models p \]
\end{document}

相关符号

• 道义义务算子O p
• 克里普克模型\mathcal{M}, w \models p
• 道义允许算子P p
• 可达关系w R v
• 下一时刻算子\bigcirc p
• 直到算子p \mathcal{U} q

常见问题

如何在 LaTeX 中输入可能世界？

在数学模式中输入 w，例如 $w \in W,\quad \mathcal{M}, w \models p$。无需加载任何宏包即可在标准 LaTeX 中使用。

w 需要哪个宏包？

不需要。w 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

w 能在文本模式中使用，还是只能用于数学模式？

两者皆可。w 在正文和 $...$ 中都能编译；在公式中请保持数学模式，以获得数学字体和间距。