2023-2 Modal Logic (Segment 3)
Q) Use the tableau method (which involves non-normal world idea) to determine whether the following are valid in Lewis’ systems S2, S3:
1. Lp ⊃ LLp
2. L( M(p ∧ q) ⊃ Mp)
3. L(L(p ⊃ q ) ⊃ L(Lp ⊃ Lq))
'Logic > Modal Logic' 카테고리의 다른 글
Proofs (3) (0) | 2024.01.14 |
---|---|
The Barcan Formula: A, B, and C-Semantics (0) | 2024.01.14 |
C. I. Lewis' Non-Normal Systems (S1-S3) (0) | 2024.01.14 |
Derived Rules (0) | 2024.01.04 |
Modal Conjunctive Normal Form (1) (0) | 2024.01.04 |