KGC
1993
Springer
13 years 9 months ago
1993
Springer
We establish the complexity of decision problems associated with the nonmonotonic modal logic S4. We prove that the problem of existence of an S4-expansion for a given set A of pr...
KGC
1993
Springer
13 years 9 months ago
1993
Springer
KGC
1993
Springer
13 years 9 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...