Studying incompleteness of information: A class of information logics (Q2702284)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Studying incompleteness of information: A class of information logics |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Studying incompleteness of information: A class of information logics |
scientific article |
Statements
14 September 2001
0 references
Kripke structure
0 references
Aristotelian syllogistic
0 references
multi-modal logic
0 references
reasoning about data in information systems
0 references
relational structures
0 references
information relations
0 references
Studying incompleteness of information: A class of information logics (English)
0 references
A family of logics for reasoning about data in information systems is introduced. The relational structures considered consist of a set of objects and a family of accessibility relations that are parametrized with subsets of a set, with the interpretation that these subsets consist of properties of objects. The relations form a basis for modal operators in the logics. Axioms are suggested that characterize properties of information relations.NEWLINENEWLINEFor the entire collection see [Zbl 0946.00016].
0 references
