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 (1) Basic Modal Propositional Logic (0) | 2024.11.08 |
|---|---|
| The Tableau Method (3) Quantified Modal Logic (0) | 2024.01.14 |
| Relevant Logic as Paraconsistent Logic (0) | 2024.01.14 |
| The Tableau Method (1) Normal Modal Logic (0) | 2024.01.04 |
| Translation into quantification theory (2) (0) | 2024.01.04 |