pls solve

1. Consider the Kripke model M. For each of the following, determine whether it holds: a. allp b. all -q c. all Do -q P. q P. 9 2. Find for each of the following a model which satisfies it: a. O-pAOO-p b. Opv O-p c. O(PV -P) 3. Find natural deduction proofs for the following sequents over the basic modal logic K. (a) K O(p - q) -Op - 0q (b) x O(p - q) - Op- 09