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

シラバス

担当教員

東條敏・佐野勝彦

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

2016/05/31 (火)

様相論理の拡張に関する残り、論理の決定可能性、時間論理のタブロー法について扱いました:
- Modal Logic（第3回）．

2016/05/26 (木)

様相論理の拡張に関して、ヒルベルト流公理系・クリプキ意味論・タブロー法を説明しました：
- Modal Logic（第2回）．

2016/05/23 (火)

様相論理の構文論・クリプキ意味論・タブロー法について説明しました：
- Modal Logic（第1回）．