Catalog

Record Details

Catalog Search



Dynamic Epistemic Logic [electronic resource] / by Hans Ditmarsch, Wiebe Hoek, Barteld Kooi.

Ditmarsch, Hans. (author.). Hoek, Wiebe. (author.). Kooi, Barteld. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781402058394
  • Physical Description: XI, 296 p. online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2007.
Subject: Philosophy (General).
Genetic epistemology.
Logic.
Computer science.
Artificial intelligence.
Philosophy.
Logic.
Artificial Intelligence (incl. Robotics).
Epistemology.
Mathematical Logic and Formal Languages.

Additional Resources