On axiomatizations of public announcement logic (Q484925)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On axiomatizations of public announcement logic
scientific article

    Statements

    On axiomatizations of public announcement logic (English)
    0 references
    0 references
    0 references
    0 references
    8 January 2015
    0 references
    public announcement logic
    0 references
    reduction axioms
    0 references
    composition axiom
    0 references
    dynamic epistemic logic
    0 references
    completeness
    0 references
    epistemic temporal logic
    0 references

    Identifiers