[logic-ml] 東北大ロジックセミナーのご案内

皆様，

東北大学の横山です． 以下の通りセミナーを開催いたします． オンライン開催で，どなたでもご参加できますので， ご興味がありましたら是非お越しください．

https://sites.google.com/view/sendai-logic/ (セミナーのリンク等は yudai.suzuki.q1(at)dc.tohoku.ac.jp までご連絡ください．)

日時: 7月21日15:00〜(オンライン開催) 講演者：倉橋 太志 (神戸大) 題目：全ての証明可能性論理の共通部分 概要： 理論 T の証明可能性述語を様相演算子 □ とみたときに，T において証明可能な様相論理式全体の集合をその証明可能性述語の証明可能性論理という．導出可能性条件を満たす証明可能性述語の証明可能性論理が GL と一致するという Solovay の定理が知られているが，他方，例えば証明可能性論理が最小の正規様相論理 K になるような証明可能性述語が存在することなども分かっている．今回は証明可能性論理の分析対象を非正規様相論理に拡張する研究の一環として，全ての証明可能性論理の共通部分に注目し，それが Fitting, Marek, and Truszczyński の非正規様相論理 N に一致することを紹介する．

どうぞよろしくお願いいたします．

横山啓太