Knowledge, belief and time (Q1104923)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Knowledge, belief and time
scientific article

    Statements

    Knowledge, belief and time (English)
    0 references
    0 references
    0 references
    1988
    0 references
    A logical system with a language including \(K_ ia\) (i knows a), \(B_ ia\) (i believes a), \({\mathcal K}a\) (common knowledge of a), \({\mathcal B}a\) (common belief of a) is proposed. Possible world semantics with 2 binary relations for each person i, 17 axioms and 2 rules is given. For the logic thus syntactically determined a completeness result is proved. Different notions of belief are distinguished. The logic is extended to capture time by adding the modal operators next, always, until to the language.
    0 references
    0 references
    0 references
    0 references
    0 references
    syntax and semantics of knowledge and belief
    0 references
    time
    0 references
    modal operators
    0 references
    0 references
    0 references