Today

Today, we have a second invited comment to the article by Iliano Cervesato, Massimo Franceschet, and Angelo Montanari that has been submitted to the ETAI.

The discussion about the ontology of time has not been concluded yet, and additional contributions are foreseen in a forthcoming issue of this Newsletter.

ETAI Publications

Additional debate contributions have been received for the following article(s). Please click the title of the article to link to the interaction page, containing both new and old contributions to the discussion.

Iliano Cervesato, Massimo Franceschet, and Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
   Review protocol: [in this pane]; with links: [frame] [noframe]