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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Kripke semantics
    0 references
    data analysis logic
    0 references
    information systems
    0 references
    modal logics for knowledge representation
    0 references