scientific article; zbMATH DE number 753771

zbMATH Open0861.03021MaRDI QIDQ4698604FDOQ4698604

Authors: Johan van Benthem 

Publication date: 11 June 1995

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (9)

• Dynamic reasoning systems
• Dynamic Logic with Non-rigid Functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• On fork arrow logic and its expressive power
• Blocks. The clue to dynamic aspects of logic
• Logic dynamics for deductive inference -- its stability and neural basis
• Dynamic Context Logic
• 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)