2023-2 Modal Logic (Segment 1)
① Give a recipe justifying the following derived rule: ├K p ∨ q ⇒ ├K Lp ∨ Mq
② Some Drived Rules
'Logic > Modal Logic' 카테고리의 다른 글
The Tableau Method (2) (0) | 2024.01.14 |
---|---|
C. I. Lewis' Non-Normal Systems (S1-S3) (0) | 2024.01.14 |
Modal Conjunctive Normal Form (1) (0) | 2024.01.04 |
Proofs (2) (0) | 2024.01.04 |
Proofs (1) (0) | 2024.01.04 |