Dynamic Logic With Possible World Ruzhan Lu author 1994 text COLING 1994 Volume 2: The 15th International Conference on Computational Linguistics conference publication lu-1994-dynamic https://aclanthology.org/C94-2207/ 1994