2019年6月24日のコメントペーパーより。レジュメは古典述語論理。 コメント：授業では命題論理→様相論理→述語論理と進みましたが、歴史的な成立順序は、命題論理→述語論理→様相論理 (→様相述語論理) で合っていますか？もしそうなら、様相論理が述語論理のあ…

2019年6月10日のコメントペーパーより。レジュメは様相命題論理。 コメント：[古典] 命題論理と述語論理はタブローで計算できることを知っているのですが、様相命題論理や様相述語論理はタブローでできますか？ 回答：できます。いつものように www.cambridg…