Sciweavers

KGC
1993
Springer
14 years 3 months ago
Nonmonotonic Reasoning is Sometimes Simpler
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...
Grigori Schwarz, Miroslaw Truszczynski
KGC
1993
Springer
14 years 3 months ago
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
Vincent Danos, Jean-Baptiste Joinet, Harold Schell...
KGC
1993
Springer
14 years 3 months ago
The Mathematics of Set Predicates in Prolog
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...
Egon Börger, Dean Rosenzweig