Alternating-time temporal dynamic epistemic logic (Q2939296)

From MaRDI portal





scientific article; zbMATH DE number 6387952
Language Label Description Also known as
default for all languages
No label defined
    English
    Alternating-time temporal dynamic epistemic logic
    scientific article; zbMATH DE number 6387952

      Statements

      Identifiers