Sciweavers

COLING
1994
14 years 25 days 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