From 95a43ff829472429e28cfc0ea7ed0b4666f93063 Mon Sep 17 00:00:00 2001
From: cannorin <cannorin@users.noreply.github.com>
Date: Tue, 19 Aug 2025 01:06:30 +0900
Subject: [PATCH] Update /math

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

diff --git a/apps/web/src/routes/(main)/math/+page.svelte b/apps/web/src/routes/(main)/math/+page.svelte
index 0176829..2bda976 100644
--- a/apps/web/src/routes/(main)/math/+page.svelte
+++ b/apps/web/src/routes/(main)/math/+page.svelte
@@ -23,7 +23,7 @@ type SubmittedPaper = PaperBase & {
 
 type JournalPaperBase = PaperBase & {
   journal: string;
-  doi: string;
+  doi?: string;
 };
 
 type AcceptedPaper = JournalPaperBase & {
@@ -42,13 +42,14 @@ const isAccepted = (p: Paper) =>
 
 const papers: Paper[] = [
   {
-    type: "submitted",
+    type: "accepted",
     title:
       "Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle",
     authors: ["Yuta Sato"],
     arxiv: "2503.10176",
     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",
   },
   {
     type: "accepted",