Modal Logic
Consider the following modal language L: A = p ¬A B ? C B ? C B ? C. A. A. 1.
What does the symbol p represent in the description of L above? 2. A Kripke
frame (W, R) has two components. What are W and R? 3. A Kripke model for L
consists of a Kripke frame and a valuation v. What is v? 4. If F is a Kripke frame
and v is ...