liewecmays.net

ようこそ。

私について

学生です。言語・論理・計算に興味があります。

このサイトでは、論理学や計算機科学に関する情報を紹介していきたいと思っています。よろしくお願いします。

最新記事

様相論理: 可能世界意味論(1階述語論理)

様相論理: 可能世界意味論(命題論理)

直観主義論理: 可能世界意味論に関する完全性定理