Friedrich Wilhelm Grafe<p>just found from researchgate</p><p><a href="https://fediphilosophy.org/tags/metaphysics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>metaphysics</span></a> <a href="https://fediphilosophy.org/tags/ontological_proof" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ontological_proof</span></a><br><a href="https://fediphilosophy.org/tags/modal_logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>modal_logic</span></a> <a href="https://fediphilosophy.org/tags/HOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HOL</span></a> <a href="https://fediphilosophy.org/tags/Kurt_G%C3%B6del" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Kurt_Gödel</span></a> <a href="https://fediphilosophy.org/tags/Dana_Scott" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Dana_Scott</span></a></p><p>this open access paper may be of interest to rather everyone in the field</p><p><a href="https://link.springer.com/article/10.1007/s00605-025-02078-x" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/article/10.1</span><span class="invisible">007/s00605-025-02078-x</span></a></p>