No label defined (Q4944959)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1420890
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1420890 |
Statements
8 October 2000
0 references
modal logic
0 references
quantum logic
0 references
temporal logic
0 references
informational representability of abstract frames
0 references
information systems
0 references
0.8114978075027466
0 references
0.6991094350814819
0 references
0.6832717061042786
0 references
0.6832717061042786
0 references
The purpose of this note is to present a formalized logical framework for expressing and then proving results on the informational representability of abstract frames, an extension of the notion of frame used in modal logics. The authors define several complex objects concerning frames derived from information systems. Further, they state several results and give several examples on the informational representability of certain frames. No results are given on the (poset-theoretical) structure of subframes. For the entire collection see [Zbl 0927.00008].
0 references
