2015年度論理推論と知識表現 I236

シラバス

担当教員

東條敏・佐野勝彦

佐野は後半の様相論理の部分を担当します．

2015/06/03 (水)

様相論理の決定可能性と時間論理のクリプキ意味論・タブロー法について説明しました：
- Modal Logic（第3回）

2015/06/01 (月)

様相論理の拡張に関して、ヒルベルト流公理系・クリプキ意味論・タブロー法を説明しました：
- Modal Logic（第2回）：誤植修正済(2015/06/03)

2015/05/27 (水)

様相論理の構文論・クリプキ意味論・タブロー法について説明しました：
- Modal Logic（第1回）：誤植修正済．
- 授業の最後に示したタブロー証明に不必要な式が入っていたので修正版を置きました．(2015/05/27)