scientific article; zbMATH DE number 4166881

MaRDI QIDQ3493250zbMATH OpenFDO

Authors Erik Sandewall

Publication date 1989

zbMATH Keywords

differential calculuspreferential entailmenttemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) General topics in artificial intelligence (68T01)

Recommendations

• Publication:3198889
• Differential Logic for Reasoning About Hybrid Systems
• Integrating nonmonotonic and temporal constraint reasoning
• Combining temporal logic systems
• Logics of dynamical systems

Cited in

(8)

• Let's plan it deductively!
• A circumscriptive calculus of events
• Pouring liquids: a study in commonsense physical reasoning
• Reasoning about non-immediate triggers in biological networks
• Representation and reasoning about evolutions of the world in the context of reasoning about actions
• The logic-algebraic equations method in system dynamics
• From equations to patterns: Logic-based approach to general systems theory
• scientific article; zbMATH DE number 4174354 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3493250)