Operatore di conoscenza in LaTeX (K_a p)

Dove si usa

Operatore epistemico di conoscenza: K_a p si legge "l'agente a sa che p".

La logica epistemica modella di solito la conoscenza con S5: l'assioma di verità K_a p \to p, l'introspezione positiva K_a p \to K_a K_a p e l'introspezione negativa. Dal punto di vista semantico K_a p vale quando p è vero in ogni mondo che l'agente a non sa distinguere da quello attuale. Il duale \hat{K}_a p o M_a p significa che a considera p possibile. Usate una K dritta, \mathsf{K}_a o \mathrm{K}_a, se la K corsiva si confonde con la logica chiamata K, e scrivete i nomi di agenti di più lettere come \text{Alice} nel pedice.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o 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}

Simboli correlati

• Operatore di credenzaB_a p
• Congiunzione possibile\Diamond(p \land q)
• Conoscenza comuneC_G p
• Implicazione necessaria\Box(p \to q)
• Operatore temporale "sempre"\Box p
• Negazione della possibilità\neg\Diamond

Domande frequenti

Come si scrive Operatore di conoscenza in LaTeX?

Scrivi K_a p in modalità matematica, per esempio $K_a p \to p,\quad K_a p \to K_a K_a p$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per K_a p?

Nessuno. K_a p fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare K_a p in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $K_a p$.