Dynamic Logic With Possible World

This paper introduces a semantic theory 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.

• Type: Conference
• Year: 1994
• Where: COLING
• Authors: Ruzhan Lu
• Keywords: COLING 1994, COLING 2008, Cresswell's Indices Semantics, Possible Worlds, Semantic Theory I)i