Author:
Publication: Artificial Intelligence
On coarser interval temporal logics
Forgetting in multi-agent modal logics