Wissensoperator in LaTeX (K_a p)

Verwendung

Epistemischer Wissensoperator: K_a p wird „Agent a weiß, dass p“ gelesen.

Die epistemische Logik modelliert Wissen meist mit S5: dem Wahrheitsaxiom K_a p \to p, der positiven Introspektion K_a p \to K_a K_a p und der negativen Introspektion. Semantisch gilt K_a p, wenn p in jeder Welt wahr ist, die Agent a nicht von der tatsächlichen unterscheiden kann. Das Dual \hat{K}_a p oder M_a p bedeutet, dass a p für möglich hält. Verwenden Sie ein aufrechtes K, \mathsf{K}_a oder \mathrm{K}_a, wenn das kursive K mit der Logik namens K kollidiert, und schreiben Sie mehrbuchstabige Agentennamen im Index als \text{Alice}.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

\documentclass{article}
\begin{document}
Knows: $K_a p$

\[ K_a p \to p,\quad K_a p \to K_a K_a p \]
\end{document}

Verwandte Symbole

• GlaubensoperatorB_a p
• Mögliche Konjunktion\Diamond(p \land q)
• Gemeinsames WissenC_G p
• Strikte Implikation\Box(p \to q)
• Immer (temporales Kästchen)\Box p
• Unmöglichkeit\neg\Diamond

Häufige Fragen

Wie schreibe ich Wissensoperator in LaTeX?

Schreiben Sie K_a p im Mathematikmodus, zum Beispiel $K_a p \to p,\quad K_a p \to K_a K_a p$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für K_a p?

Keines. K_a p gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich K_a p im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $K_a p$.