tikz 中模态逻辑模型的自指箭头

Question

我目前正在尝试排版 Theodore Sider 的模型哲学逻辑并努力在 TikZ 中获得自引用循环。模型本身已在另一篇文章中得到解决：Tikz 中的堆栈逻辑符号但是，我需要如图 c 和 d 处的这样的循环：

我尝试这样做，但我的箭头却显得很奇怪：

以及相应的代码（我把盒子的节点称为（4））：

\draw [->] (4) to [out=240,in=150,looseness=8] (4);
\path[draw=red,->] (4) to[ below, loop, out=180+70, in=180+50, min distance=10mm] (4);

有人能帮帮我吗？提前谢谢您！

本书的草稿可以在这里找到：https://gelogica.weebly.com/uploads/2/6/6/1/26617550/sider_logic_for_philosophy.pdf

Answer 1

\documentclass[tikz, border=1cm]{standalone}
\usetikzlibrary{arrows.meta}
\begin{document}   
\begin{tikzpicture}
\node[draw, align=center, minimum height=1.2cm] (node) at (0,0) {1\\$P$};
\draw[-{Stealth[round]}, shorten <=3pt, shorten >=3pt] (node.south west) to[out=-90, in=180, distance=1cm] (node.south west);
\end{tikzpicture}
\end{document}