Resolution for temporal logics of knowledge (Q4209289)

From MaRDI portal
scientific article; zbMATH DE number 1202871
Language Label Description Also known as
English
Resolution for temporal logics of knowledge
scientific article; zbMATH DE number 1202871

    Statements

    Resolution for temporal logics of knowledge (English)
    0 references
    27 September 1998
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    resolution-based proof system
    0 references
    temporal logic of knowledge
    0 references
    0 references