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 Barcan Formula: A, B, and C-Semantics (0) | 2024.11.08 |
|---|---|
| Modal Conjunctive Normal Form (1) (0) | 2024.11.08 |
| Proofs (3) Quantified Modal Logic (0) | 2024.11.08 |
| Proofs (2) Basic Modal Propositional Logic (0) | 2024.11.08 |
| Proofs (1) Basic Modal Propositional Logic (0) | 2024.11.08 |