Proof methods for reasoning about possibility and necessity

Churn‐Jung Liau, Bertrand I-Peng Lin

International Journal of Approximate Reasoning · 1993 · 16 citations · 14 references

Concepts

References

14