Hypothetical reasoning with modalities on some integrity constraints
H. Sakai · 2002
Hypothetical reasoning with modalities on some integrity constraints is proposed. This procedure characterizes formulas which surely hold in spite of incomplete knowledge. The prover is also implemented on a Sparc Station 10 by K-Prolog.>