基本情報(Basic Information)
日時: 毎週木曜日 15:00 ~
Date: Thursdays 15:00~開催場所: 東北大学理学研究科合同A棟 202号室 (場合によりZoom等で実施)
Venue: Tohoku university, Science department, Complex A, 202 (and online via zoom)連絡先： 鈴木 悠大(yudai.suzuki.q1(at)dc.tohoku.ac.jp)までご連絡ください．((at)を@に置き換えてください)
Contact: Yudai Suzuki (yudai.suzuki.q1(at)dc.tohoku.ac.jp) (Please replace (at) by @)
過去のセミナー情報については，こちらよりご覧ください
For information of past seminars: here
研究活動の記録については，こちらよりご覧ください
For information of research activities: here
今後のセミナー情報(Future schedule)
2022.7.21 Taishi Kurahashi (Kobe University)
Title: 全ての証明可能性論理の共通部分
Venue: Complex A 202 (and online via zoom).
Time: 15:00-16:30.
Abstract: 理論 T の証明可能性述語を様相演算子 □ とみたときに，T において証明可能な様相論理式全体の集合をその証明可能性述語の証明可能性論理という．導出可能性条件を満たす証明可能性述語の証明可能性論理が GL と一致するという Solovay の定理が知られているが，他方，例えば証明可能性論理が最小の正規様相論理 K になるような証明可能性述語が存在することなども分かっている．今回は証明可能性論理の分析対象を非正規様相論理に拡張する研究の一環として，全ての証明可能性論理の共通部分に注目し，それが Fitting, Marek, and Truszczyński の非正規様相論理 N に一致することを紹介する．