Greg Restall<p>I’m in Amsterdam, about to give a talk about proof theory for modal predicate logic at the ILLC, the home base of the modal industrial complex. I have no idea how this is going to go over, but it should be a fun ride, however it turns out.</p><p><a href="https://consequently.org/presentation/2025/mlce-illc/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">consequently.org/presentation/</span><span class="invisible">2025/mlce-illc/</span></a></p><p><a href="https://hcommons.social/tags/prooftheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>prooftheory</span></a> <a href="https://hcommons.social/tags/modalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>modalLogic</span></a></p>