Tom Costello and Anna Patterson Quantifiers and Operations on Modalities and Contexts.

c-fcs-98-263   [original] [abstract]

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

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.