Dynamic Epistemic Logic
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises... Čítať viac
Naši škriatkovia o tomto titule zatiaľ nemajú viac informácií, ale akonáhle ich získame, túto stránku doplníme.
- Brožovaná väzba
- Angličtina
Vypredané
Ach, mrzí nás to, z tejto knihy sa už predali všetky výtlačky a nemáme ju na sklade my ani vydavateľ :( Teoreticky však môžete mať šťastie v niektorých iných obchodoch, ktoré ešte nepredali posledné kusy.
