The Complexity of Model Checking in Modal Event Calculi with Quantifiers