scientific article; zbMATH DE number 753771

MaRDI QIDQ4698604zbMATH OpenFDO

Authors Johan van Benthem

Publication date 11 June 1995

zbMATH Keywords

declarative propositionsflow of information between short-term and long-term reasoninggeneral dynamic logiclogical systemrelational algebrarevisionstructural rulesswitching mechanisms between static and dynamic levelsupdate

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cylindric and polyadic algebras; relation algebras (03G15) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 733404
• GENERAL DYNAMICS
• General dynamic dynamic logic
• Dynamic Context Logic

Cited in

(13)

• Generalized logic in experience thinking
• On fork arrow logic and its expressive power
• Blocks. The clue to dynamic aspects of logic
• A dynamic logic for every season
• Logic dynamics for deductive inference -- its stability and neural basis
• Dynamic Logic with Non-rigid Functions
• Dynamic Context Logic
• GENERAL DYNAMICS
• scientific article; zbMATH DE number 1354830 (Why is no real title available?)
• scientific article; zbMATH DE number 733404 (Why is no real title available?)
• scientific article; zbMATH DE number 2070192 (Why is no real title available?)
• Vistas from a drop of water
• Dynamic reasoning systems

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 Q4698604)