SnO₂WMaN retweeted
本を書きました！
刊行はまだ先ですが、情報だけ先に出します！
『様相論理入門―形式的証明とクリプキモデルで学ぶ論理体系―』
共立出版、2027年3月刊行予定
数理論理学の初学者から、様相論理を学びたい方、すでに知っている方まで学べるはずです。
演習問題の解答も完備。
ぜひご検討ください！
SnO₂WMaN retweeted
こちらの論文を大幅に改訂し、タイトルごと刷新しました。arXivに上げたその日に、Emil JeřábekさんにP≠NPの仮定を外す可能性について指摘していただきました。感謝です。
[2609.10872] Elementary modal logics and circuit complexity
arxiv.org/abs/2609.10872
それはそれとして、新しいプレプリントを公開しました。まさか人生で自分が(AIがではなく)P≠NPを仮定して何かを証明することになるとは思いませんでした。
[2609.10872] Non-elementary modal logics, assuming P $\neq$ NP arxiv.org/abs/2609.10872
