Exercice corrigé Modal Logic pdf

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 ...