Paper: Dynamic Logic With Possible World

ACL ID C94-2207
Title Dynamic Logic With Possible World
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1994
  • Ruzhan Lu (Shanghai Jiaotong University, Shanghai China)

This paper introduces a semantic theo- ry I)I,PW, l)ynamic l,ogic with Possible World, which extends Groenendijk's I)PI, and Cresswell's Indices Semantics. The semantics can interpret the temporal and modal sense and anaphora. Key words: Semantic Model, Dynamic l,ogic, Possible Worlds.