2023-2 Modal Logic (Segment 2)
Q) Evaluate the following wffs in the B-semantics + inclusion requirement and determine in what systems, K, T, S4, β, S5 (if any) they are valid.
1. (∃y)LM(ϕy ⊃ (∀x)ϕx)
2. L(∃x)(Lϕx ∨ ψy) ⊃ (∃x)L(Lϕx ∨ ψy)
3. L(M(∃x)ϕx ⊃ (∃x)Mϕx)
4. L(∃x)ϕx ⊃ (∃x)Lϕx
'Logic > Modal Logic' 카테고리의 다른 글
| The Different Approaches to Understanding Possible Worlds (0) | 2024.01.14 |
|---|---|
| Proofs (3) (0) | 2024.01.14 |
| The Barcan Formula: A, B, and C-Semantics (0) | 2024.01.14 |
| The Tableau Method (2) (0) | 2024.01.14 |
| C. I. Lewis' Non-Normal Systems (S1-S3) (0) | 2024.01.14 |