Slide 1Modal Logic with Variable Modalities & its Applications to Querying Knowledge Bases Evgeny Zolin The University of Manchester [email protected] Slide 2 2/17 Talk…