The Complexity of Model Checking in Modal Event Calculi with Quantifiers

CERVESATO I

FRANCESCHET, Massimo

MONTANARI, Angelo