Reproduce “Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.