scientific article; zbMATH DE number 753771

MaRDI QIDQ4698604zbMATHFDO

Authors Johan van Benthem

Publication date 11 June 1995

zbMATH Keywords

relational algebrarevisionlogical systemstructural rulesupdatedeclarative propositionsflow of information between short-term and long-term reasoninggeneral dynamic logicswitching mechanisms between static and dynamic levels

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(10)

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

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)