| dbp:reason
|
- Shouldn't then the frame axiom be the following modification of the above rule: '∀t.executeopen→open∧' ? In contrast, the formula 'on↔on' seems to be too particular taylored to the 'executeopen' situation. (en)
- Mention the approach by which the frame problem was solved. (en)
- What kind of logic? [Old reason: If ordinary predicate logic is meant, what is the purpose of the 'true →' in the 3rd formula? If some other logic is meant, it should be stated explicitly here, together with the purpose of the 'true →' in that logic.] (en)
|
