Since the release of Anthropic's Fable 5 and OpenAI's GPT-5.6 Sol, what it means to do research in philosophical logic has changed.  Philosophers now have access to professional mathematician, and insofar as philosophical projects admit of potential formalization, this should change how philosophy is done.

Some AI-generated Results in Logic

Variable Sharing Failures in Connexive Relevant Logics

Andrew Tedder.  pdf of result (perhaps the proofs can be simplified, but they're correct)

Signed Depth Relevance for subDL​

title 2