2024.06.30
https://www.youtube.com/watch?v=e4kHAdXke_Q
前:
2024.06.29
後:
2024.07.01
#日報
メモ
R. Goré; "Tableau Methods for Modal and Temporal Logics"
結局
様相論理のタブロー計算
はこれがサーベイとしてまとまっているというのが下記に書いてあった
読んだ
K. Brünnler; "Nested Sequents"
よくわからなくなってきた