A fugue on the themes of awareness logic and correspondence (Q4881433)

From MaRDI portal





scientific article; zbMATH DE number 885603
Language Label Description Also known as
default for all languages
No label defined
    English
    A fugue on the themes of awareness logic and correspondence
    scientific article; zbMATH DE number 885603

      Statements

      A fugue on the themes of awareness logic and correspondence (English)
      0 references
      0 references
      0 references
      28 October 1996
      0 references
      modal logic S1
      0 references
      epistemic logic of general awareness
      0 references
      correspondence theory
      0 references
      bisimulation
      0 references
      sieve model semantics
      0 references

      Identifiers