The Complexity of Model Checking in Modal Event Calculi with Quantifiers.

Iliano Cervesato, Massimo Franceschet, Angelo Montanari

Browse the full KR paper archive.