Kripke semantics for knowledge representation logics (Q2277447)
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: Kripke semantics for knowledge representation logics |
scientific article; zbMATH DE number 4197967
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Kripke semantics for knowledge representation logics |
scientific article; zbMATH DE number 4197967 |
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
0.8780303001403809
0 references
