Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (Q3457715)

From MaRDI portal
Revision as of 11:21, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
scientific article

    Statements

    Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (English)
    0 references
    0 references
    17 December 2015
    0 references
    dynamic epistemic logic
    0 references
    dynamical systems
    0 references
    model transformers
    0 references
    protocols
    0 references
    modeling
    0 references

    Identifiers