S4 as the conditional logic of nonmonotonicity

Philippe Lamarre

Principles of Knowledge Representation and Reasoning · 1991 · 36 citations · 0 references

Concepts