@inproceedings{lu-1994-dynamic,
    title = "Dynamic Logic With Possible World",
    author = "Lu, Ruzhan",
    booktitle = "{COLING} 1994 Volume 2: The 15th {I}nternational {C}onference on {C}omputational {L}inguistics",
    year = "1994",
    url = "https://aclanthology.org/C94-2207/"
}