No label defined (Q4698604)
From MaRDI portal
scientific article; zbMATH DE number 753771
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 753771 |
Statements
11 June 1995
0 references
logical system
0 references
relational algebra
0 references
declarative propositions
0 references
update
0 references
revision
0 references
general dynamic logic
0 references
structural rules
0 references
switching mechanisms between static and dynamic levels
0 references
flow of information between short-term and long-term reasoning
0 references
