JOLLI
2002
13 years 4 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
13 years 9 months ago
1992
Springer
An algorithm is presented which eliminates second