Kripke semantics for knowledge representation logics (Q2277447): Difference between revisions
From MaRDI portal
Latest revision as of 16:37, 21 June 2024
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
