Sciweavers

COLING
1994
13 years 6 months ago
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 c...
Ruzhan Lu