From 7f8397d32386e46124e2b094bf4330e60a30c6aa Mon Sep 17 00:00:00 2001
From: cannorin <cannorin@users.noreply.github.com>
Date: Sun, 16 Nov 2025 02:54:11 +0900
Subject: [PATCH] math: update paper info

---
 apps/web/src/routes/(main)/math/+page.svelte | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/apps/web/src/routes/(main)/math/+page.svelte b/apps/web/src/routes/(main)/math/+page.svelte
index 99f6a8a..4381e16 100644
--- a/apps/web/src/routes/(main)/math/+page.svelte
+++ b/apps/web/src/routes/(main)/math/+page.svelte
@@ -42,7 +42,7 @@ const isAccepted = (p: Paper) =>
 
 const papers: Paper[] = [
   {
-    type: "accepted",
+    type: "published",
     title:
       "Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle",
     authors: ["Yuta Sato"],
@@ -50,6 +50,8 @@ const papers: Paper[] = [
     researchGate:
       "https://www.researchgate.net/publication/389821716_Uniform_Lyndon_interpolation_for_the_pure_logic_of_necessitation_with_a_modal_reduction_principle",
     journal: "Journal of Logic and Computation",
+    doi: "10.1093/logcom/exaf048",
+    info: "Volume 35, Issue 7, October 2025"
   },
   {
     type: "accepted",