This page is a historical archive. For the latest information please visit

Tom Costello and Anna Patterson

Quantifiers and Operations on Modalities and Contexts.

[mail to author]
[mail to moderator]
[debate procedure]

Overview of interactions

N:o Question Answer(s) Continued discussion
1 8.1  A workshop participant
8.1  Tom Costello

Q1. A workshop participant:

This seems to be quite similar to dynamic logic. How does it differ from it and advance over it?

A1. Tom Costello:

The basic operations are the same, but here we can quantify over modalities.

This on-line debate page is part of a discussion at recent workshop; similar pages are set up for each of the workshop articles. The discussion is organized by the area Reasoning about Actions and Change within the Electronic Transactions on Artificial Intelligence (ETAI).

To contribute, please click [mail to moderator] above and send your question or comment as an E-mail message.