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' 카테고리의 다른 글
| Proofs (2) Basic Modal Propositional Logic (0) | 2024.11.08 |
|---|---|
| Proofs (1) Basic Modal Propositional Logic (0) | 2024.11.08 |
| The Tableau Method (2) Non-Normal Modal 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 |