Kripke semantics for knowledge representation logics (Q2277447)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Kripke semantics for knowledge representation logics |
scientific article |
Statements
Kripke semantics for knowledge representation logics (English)
0 references
1990
0 references
The author shows how Kripke structures are determined by information systems, which then enables us to provide modal logics for knowledge representation in a natural way. She discusses the axiomatization of logics thus defined and extends the Kripke modeling in order to deal with temporal aspects of information or to give reasonings about objects and their properties.
0 references
Kripke semantics
0 references
data analysis logic
0 references
information systems
0 references
modal logics for knowledge representation
0 references