Handbook of epistemic logic

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Ditmarsch, Hans van, 1959-...., mathématicien
Beste egile batzuk: Halpern, Joseph Y., 1953- (Argitaratzailea), Hoek, Wiebe van der (Argitaratzailea), Kooi, Barteld Pieter, 1976- (Argitaratzailea)
Formatua: Livre papier
Hizkuntza:Anglais
Argitaratua: London : College Publications C 2015.
Gaiak:
Autres localisations: Voir dans le Sudoc
Aurkibidea:
  • An introduction to logics of knowledge and belief
  • [pt.] I. Informational attitudes
  • Only knowing
  • Awareness
  • Epistemic probabilistic logic
  • [pt.] II. Dynamics of informational attitudes
  • Knowledge and time
  • Dynamic epistemic logic
  • Dynamic logics of belief change
  • [pt.] III. Applications
  • Model checking temporal epistemic logic
  • Epistemic foundations of game theory
  • BDI logics
  • Knowledge and ability
  • Knowledge and security