### Table 1: Some observations and the corresponding inferences drawn by the logic system

1996

"... In PAGE 14: ...nowledge to be inferred. Thus, facts about the physical system can be globally reused. The set of inference rules that deduce facts from the descriptivekeywords of qualitative observations is similar to the rule set used by the base model generator | in fact, the latter is a subset of the former. Table1 gives some examples of descriptive observations and the facts that the logic system infers from them. This is only a small sampling of observations and inferences.... ..."

Cited by 25

### Table 1: Inference rules for dynamic equational logic.

### Table 1: The set DY N= of inference rules for dynamic logic with equality.

### Table 1: The set DY N= of inference rules for dynamic logic with equality.

### Table 6. Inference rules of Abadi-Leino logic Subsumption

2005

### Table 1: Some observations and the corresponding inferences drawn by the logic system ODE property Method Consequence

1996

"... In PAGE 14: ...nowledge to be inferred. Thus, facts about the physical system can be globally reused. The set of inference rules that deduce facts from the descriptive keywords of qualitative observations is similar to the rule set used by the base model generator | in fact, the latter is a subset of the former. Table1 gives some examples of descriptive observations and the facts that the logic system infers from them. This is only a small sampling of observations and inferences.... ..."

Cited by 25

### Table 1: Some observations and the corresponding inferences drawn by the logic system ODE property Method Consequence

1994

"... In PAGE 14: ...nowledge to be inferred. Thus, facts about the physical system can be globally reused. The set of inference rules that deduce facts from the descriptive keywords of qualitative observations is similar to the rule set used by the base model generator | in fact, the latter is a subset of the former. Table1 gives some examples of descriptive observations and the facts that the logic system infers from them. This is only a small sampling of observations and inferences.... ..."

Cited by 1