Korea Logic Day

Change the language to 한국어

The third Korea Logic Day 2024, 12 January 2024

World Logic Day Banner Image

We aim to bring logicians in Korea together and celebrate World Logic Day proclaimed by UNESCO. We will introduce the research domains of logic and engage in discussions on the diverse applications of logic in various fields.

On 14 January 2019, the first World Logic Day was celebrated as an initiative of universities, research institutes, foundations and associations active in mathematics, philosophy, computer science, engineering, economics, and cognitive science. For future annual celebrations of World Logic Day, it was officially claimed the Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH) on 13 November 2019. This year is for the sixth World Logic Day. For more events in other places, please visit World Logic Day 2024.

Why is 14 January for World Logic Day? Nobody can disagree that Alfred Tarski and Kurt Gödel were most influential logicians in the 20th century. Alfred Tarski was born on 14 January 1901 and Kurt Gödel died on 14 January 1978. In memory of these two greatest logicians in the 20th century, 14 January is decided to be the day.

The previous events are available on the Korea Logic Day website.

Important dates

Pleaes note that The third Korea Logic Day 2024 this year is on 12th.

The event Zoom link has been sent. Please contact the organizers if you have not received it


Name Affiliation Topic
Kyungmin Bae POSTECH Logic in Computer Science
Seungrak Choi University of Seoul Proof Theory
Junyoung Jang McGill University Logic in Computer Science
Hanul Jeon Cornell University Set Theory
Donghyun Kim Korea National University of Transportation Logic and Education
Dongwoo Kim KAIST Philosophy of Logic
Joonhee Kim KIAS Model Theory
Junguk Lee Changwon National University Model Theory
Eunsuk Yang Jeonbuk National University Philosophical Logic
Takao Yuyama Kyoto University Logic in Computer Science


Each talk is 30 minutes, followed by an additional 10 minutes for discussion and a break.

  Speaker Talk
09:00 - Opening remark: Hwan Sunwoo (Yonsei University), Martin Ziegler (KAIST)
- - Session 1, chair: Hyoyoon Lee (Yonsei University)
09:10-09:40 Junyoung Jang Adjoint Logic: Multiple Modalities into a Computational Framework (Slides)
09:50-10:20 Hanul Jeon Separating the Wholeness axioms (Slides)
- - Session 2, chair: Martin Ziegler (KAIST)
10:30-11:00 Takao Yuyama Word problem for groups and G-automata (Slides)
11:10-11:40 Kyungmin Bae Formal specification and analysis of concurrent systems in rewriting logic (Slides)
11:40-13:10 - Lunch break
- - Session 3, chair: Sewon Park (Kyoto University)
13:10-13:40 Dongwoo Kim On exact truthmaking for modalized statements
13:50-14:20 Seungrak Choi Which Reduction Procedures for Classical Reductio are Acceptable? (Slides)
14:20-14:40 - Coffee break
- - Session 4, chair: Hyeungjoon Kim (UNIST)
14:40-15:10 Junguk Lee An introduction to model companion : Infinite sets are NOT trivial! (Slides)
15:20-15:50 Joonhee Kim Pre-independence relations induced by Morley sequences in NSOP1 theories (Slides)
- - Session 5, chair: Seungrak Choi (University of Seoul)
16:00-16:30 Eunsuk Yang Fuzzy extensions of Implicational tonoid logics
16:40-17:10 Donghyun Kim 고등학교 및 대학 교양 논리학 교육 개편 방향 (Slides)
17:10 - Closing remark: Byunghan Kim (Yonsei University)

How to Register and Participate

The third Korea Logic Day 2024 will be held online via Zoom. Please register by 10 January 2024 and the instruction on how to attend the event will be shared to the registered email on 11 January 2024.

Registration link:

Talk Abstracts

The abstracts can be found here.

Group picture

A group picture of some participants taken after the closing remark:

2024 Korea Logic Day group picture


Updated on January 12th

Heejin Ahn (KAIST), Kyungmin Bae (POSTECH), Sun Bok Bae (숭실대 가치와 문화 연구소), Jisun Baek (Yonsei University), Jeongdam Choi (KAIST), Young-Sam Chun, Inkyo Chung (Korea University), Jan Dobrowolski (The University of Manchester), Sungil Han (Seoul National University), Hanul Jeon (Cornell University), Soyeong Jeong, Byunghan Kim (Yonsei University), Daehee Kim, Hoil Kim (Kyungpook National University), Hyeungjoon Kim (UNIST), Hyunjoon Kim (Korea University), Joonhee Kim (KIAS), Sang-hyun Kim (KIAS), Yeon-Hong Kim (Jeonbuk National University), Hyoyoon Lee (Yonsei University), Hyunwoo Lee (Seoul National University), IlKwon Lee (Jeonbuk National University), Jaehun Lee, Jinhee Lee (Ajou University), Jong-Hyun Lee (Korea University), Junguk Lee (Changwon National University), Seunghyun Lee (Kyung Hee University), Kijeong Lim (Chonnam National University), Kyung-Tack Lim (Jeonbuk National University), SoonWon Moon (Inha University), Donghyun Nam (Inha University), Kihyo Park (Cornell University), Sewon Park (Kyoto University), Niolay V. Shilov (Innopolis University), Seungyun Shon (Yonsei University), Hanjong So (Korea University), Łukasz T. Stępień (University of the National Education Commission, Krakow, Poland), Hwan Sunwoo (Yonsei University), Sara Uckelman (Durham University), Soyoko Uranchimeg (Chungbuk National University), Chiwook Won (GIST), Eunsuk Yang (Jeonbuk National University), Martin Ziegler (KAIST), 이청명 and 11 more participants.

Hosting and Organizing

The third Korea Logic Day 2024 is hosted by Korean Association for Logic and organized by:

Pleaes contact kld2024-oc@googlegroups.com to reach the organizers.