Logic/Modal Logic
The Tableau Method (2) Non-Normal Modal Logic
Soyo_Kim
2024. 1. 14. 05:41
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))
