ACL RD-TEC 1.0 Summarization of C94-2207

Paper Title:
DYNAMIC LOGIC WITH POSSIBLE WORLD


Download the PDF file from the ACL Anthology.
Brwose this paper on the University of Michigan CLAIR Group's interface.