Оператор знания в LaTeX (K_a p)

Где используется

Эпистемический оператор знания: K_a p читается «агент a знает, что p».

Эпистемическая логика обычно моделирует знание системой S5: аксиома истинности K_a p \to p, положительная интроспекция K_a p \to K_a K_a p и отрицательная интроспекция. Семантически K_a p истинно, если p верно в каждом мире, который агент a не может отличить от действительного. Двойственный оператор \hat{K}_a p или M_a p означает, что a считает p возможным. Используйте прямую K, \mathsf{K}_a или \mathrm{K}_a, если курсивная K конфликтует с названием логики K, а многобуквенные имена агентов пишите в индексе как \text{Alice}.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или 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}

Похожие символы

• Оператор убежденияB_a p
• Возможность конъюнкции\Diamond(p \land q)
• Общее знаниеC_G p
• Строгая импликация\Box(p \to q)
• Темпоральный оператор «всегда»\Box p
• Отрицание возможности\neg\Diamond

Частые вопросы

Как написать «Оператор знания» в LaTeX?

Наберите K_a p в математическом режиме, например $K_a p \to p,\quad K_a p \to K_a K_a p$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для K_a p?

Никакой. K_a p входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

Можно ли использовать K_a p в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $K_a p$.