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 |