Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
scientific article

    Statements

    Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (English)
    0 references
    14 August 2009
    0 references
    chance discovery
    0 references
    modal logic
    0 references
    temporal logic
    0 references
    agents' knowledge logic
    0 references
    hybrid logics
    0 references
    decidability
    0 references
    Kripke-Hintikka models
    0 references
    inference rules
    0 references
    rules in normal reduced form
    0 references

    Identifiers