JOLLI
2002
13 years 11 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
KR
1992
Springer
14 years 3 months ago
1992
Springer
An algorithm is presented which eliminates second