On the definability of simulation and bisimulation in epistemic logic (Q2939298)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On the definability of simulation and bisimulation in epistemic logic
scientific article

    Statements

    On the definability of simulation and bisimulation in epistemic logic (English)
    0 references
    19 January 2015
    0 references
    Kripke semantics
    0 references
    bisimulation
    0 references
    expressiveness
    0 references
    definability
    0 references

    Identifiers